Charlie is blue. Charlie is cold. Charlie is red. Fiona is blue. Fiona is cold. Fiona is furry. Fiona is quiet. Fiona is red. Fiona is round. Fiona is smart. Harry is blue. Harry is cold. Harry is quiet. Harry is red. Harry is smart. Furry things are round. Round things are quiet. All cold things are furry. If something is blue and smart then it is cold. If something is blue then it is red. Round, quiet things are red.
Charlie is quiet.
@0: Charlie is blue.[(triple1)] Charlie is cold.[(triple2)] Charlie is red.[(triple3 OR ((triple1) -> rule5) OR ((((((triple2) -> rule3)) -> rule1) ((((((triple2) -> rule3)) -> rule1)) -> rule2)) -> rule6))] Fiona is blue.[(triple4)] Fiona is cold.[(triple5 OR ((triple4 triple10) -> rule4))] Fiona is furry.[(triple6 OR ((triple5) -> rule3) OR ((((triple4 triple10) -> rule4)) -> rule3))] Fiona is quiet.[(triple7 OR ((triple9) -> rule2) OR ((((triple6) -> rule1)) -> rule2) OR ((((((triple5) -> rule3)) -> rule1)) -> rule2) OR ((((((((triple4 triple10) -> rule4)) -> rule3)) -> rule1)) -> rule2))] Fiona is red.[(triple8 OR ((triple4) -> rule5) OR ((triple9 triple7) -> rule6) OR ((triple9 ((triple9) -> rule2)) -> rule6) OR ((((triple6) -> rule1) triple7) -> rule6) OR ((((triple6) -> rule1) ((triple9) -> rule2)) -> rule6) OR ((triple9 ((((triple6) -> rule1)) -> rule2)) -> rule6) OR ((((((triple5) -> rule3)) -> rule1) triple7) -> rule6) OR ((((triple6) -> rule1) ((((triple6) -> rule1)) -> rule2)) -> rule6) OR ((((((triple5) -> rule3)) -> rule1) ((triple9) -> rule2)) -> rule6) OR ((((((triple5) -> rule3)) -> rule1) ((((triple6) -> rule1)) -> rule2)) -> rule6) OR ((triple9 ((((((triple5) -> rule3)) -> rule1)) -> rule2)) -> rule6) OR ((((((((triple4 triple10) -> rule4)) -> rule3)) -> rule1) triple7) -> rule6) OR ((((triple6) -> rule1) ((((((triple5) -> rule3)) -> rule1)) -> rule2)) -> rule6) OR ((((((((triple4 triple10) -> rule4)) -> rule3)) -> rule1) ((triple9) -> rule2)) -> rule6) OR ((((((triple5) -> rule3)) -> rule1) ((((((triple5) -> rule3)) -> rule1)) -> rule2)) -> rule6) OR ((((((((triple4 triple10) -> rule4)) -> rule3)) -> rule1) ((((triple6) -> rule1)) -> rule2)) -> rule6) OR ((((((((triple4 triple10) -> rule4)) -> rule3)) -> rule1) ((((((triple5) -> rule3)) -> rule1)) -> rule2)) -> rule6) OR ((triple9 ((((((((triple4 triple10) -> rule4)) -> rule3)) -> rule1)) -> rule2)) -> rule6) OR ((((triple6) -> rule1) ((((((((triple4 triple10) -> rule4)) -> rule3)) -> rule1)) -> rule2)) -> rule6) OR ((((((triple5) -> rule3)) -> rule1) ((((((((triple4 triple10) -> rule4)) -> rule3)) -> rule1)) -> rule2)) -> rule6) OR ((((((((triple4 triple10) -> rule4)) -> rule3)) -> rule1) ((((((((triple4 triple10) -> rule4)) -> rule3)) -> rule1)) -> rule2)) -> rule6))] Fiona is round.[(triple9 OR ((triple6) -> rule1) OR ((((triple5) -> rule3)) -> rule1) OR ((((((triple4 triple10) -> rule4)) -> rule3)) -> rule1))] Fiona is smart.[(triple10)] Harry is blue.[(triple11)] Harry is cold.[(triple12 OR ((triple11 triple15) -> rule4))] Harry is quiet.[(triple13 OR ((((((triple12) -> rule3)) -> rule1)) -> rule2) OR ((((((((triple11 triple15) -> rule4)) -> rule3)) -> rule1)) -> rule2))] Harry is red.[(triple14 OR ((triple11) -> rule5) OR ((((((triple12) -> rule3)) -> rule1) triple13) -> rule6) OR ((((((((triple11 triple15) -> rule4)) -> rule3)) -> rule1) triple13) -> rule6) OR ((((((triple12) -> rule3)) -> rule1) ((((((triple12) -> rule3)) -> rule1)) -> rule2)) -> rule6) OR ((((((((triple11 triple15) -> rule4)) -> rule3)) -> rule1) ((((((triple12) -> rule3)) -> rule1)) -> rule2)) -> rule6) OR ((((((triple12) -> rule3)) -> rule1) ((((((((triple11 triple15) -> rule4)) -> rule3)) -> rule1)) -> rule2)) -> rule6) OR ((((((((triple11 triple15) -> rule4)) -> rule3)) -> rule1) ((((((((triple11 triple15) -> rule4)) -> rule3)) -> rule1)) -> rule2)) -> rule6))] Harry is smart.[(triple15)] @1: Charlie is furry.[(((triple2) -> rule3))] Harry is furry.[(((triple12) -> rule3) OR ((((triple11 triple15) -> rule4)) -> rule3))] @2: Charlie is round.[(((((triple2) -> rule3)) -> rule1))] Harry is round.[(((((triple12) -> rule3)) -> rule1) OR ((((((triple11 triple15) -> rule4)) -> rule3)) -> rule1))] @3: Charlie is quiet.[(((((((triple2) -> rule3)) -> rule1)) -> rule2))]