Charlie is smart. Dave is round. Dave is smart. Fiona is quiet. Fiona is red. Fiona is rough. Fiona is round. Fiona is smart. Harry is quiet. Harry is round. Quiet things are red. All round things are blue. Rough, blue things are kind. If something is smart and kind then it is quiet. If Fiona is red and Fiona is smart then Fiona is round. All round, blue things are rough. Quiet, red things are kind.
Harry is not round.
@0: Charlie is smart.[(triple1)] Dave is round.[(triple2)] Dave is smart.[(triple3)] Fiona is quiet.[(triple4 OR ((triple8 ((triple6 ((triple7) -> rule2)) -> rule3)) -> rule4) OR ((triple8 ((triple6 ((((triple5 triple8) -> rule5)) -> rule2)) -> rule3)) -> rule4) OR ((triple8 ((((triple7 ((triple7) -> rule2)) -> rule6) ((triple7) -> rule2)) -> rule3)) -> rule4) OR ((triple8 ((((triple7 ((triple7) -> rule2)) -> rule6) ((((triple5 triple8) -> rule5)) -> rule2)) -> rule3)) -> rule4) OR ((triple8 ((((((triple5 triple8) -> rule5) ((triple7) -> rule2)) -> rule6) ((triple7) -> rule2)) -> rule3)) -> rule4) OR ((triple8 ((((((triple5 triple8) -> rule5) ((triple7) -> rule2)) -> rule6) ((((triple5 triple8) -> rule5)) -> rule2)) -> rule3)) -> rule4) OR ((triple8 ((((triple7 ((((triple5 triple8) -> rule5)) -> rule2)) -> rule6) ((triple7) -> rule2)) -> rule3)) -> rule4) OR ((triple8 ((((triple7 ((((triple5 triple8) -> rule5)) -> rule2)) -> rule6) ((((triple5 triple8) -> rule5)) -> rule2)) -> rule3)) -> rule4) OR ((triple8 ((((((triple5 triple8) -> rule5) ((((triple5 triple8) -> rule5)) -> rule2)) -> rule6) ((triple7) -> rule2)) -> rule3)) -> rule4) OR ((triple8 ((((((triple5 triple8) -> rule5) ((((triple5 triple8) -> rule5)) -> rule2)) -> rule6) ((((triple5 triple8) -> rule5)) -> rule2)) -> rule3)) -> rule4))] Fiona is red.[(triple5 OR ((triple4) -> rule1) OR ((((triple8 ((triple6 ((triple7) -> rule2)) -> rule3)) -> rule4)) -> rule1) OR ((((triple8 ((((triple7 ((triple7) -> rule2)) -> rule6) ((triple7) -> rule2)) -> rule3)) -> rule4)) -> rule1))] Fiona is rough.[(triple6 OR ((triple7 ((triple7) -> rule2)) -> rule6) OR ((((triple5 triple8) -> rule5) ((triple7) -> rule2)) -> rule6) OR ((triple7 ((((triple5 triple8) -> rule5)) -> rule2)) -> rule6) OR ((((triple5 triple8) -> rule5) ((((triple5 triple8) -> rule5)) -> rule2)) -> rule6) OR ((((((triple4) -> rule1) triple8) -> rule5) ((triple7) -> rule2)) -> rule6) OR ((((((triple4) -> rule1) triple8) -> rule5) ((((triple5 triple8) -> rule5)) -> rule2)) -> rule6) OR ((triple7 ((((((triple4) -> rule1) triple8) -> rule5)) -> rule2)) -> rule6) OR ((((triple5 triple8) -> rule5) ((((((triple4) -> rule1) triple8) -> rule5)) -> rule2)) -> rule6) OR ((((((triple4) -> rule1) triple8) -> rule5) ((((((triple4) -> rule1) triple8) -> rule5)) -> rule2)) -> rule6))] Fiona is round.[(triple7 OR ((triple5 triple8) -> rule5) OR ((((triple4) -> rule1) triple8) -> rule5))] Fiona is smart.[(triple8)] Harry is quiet.[(triple9)] Harry is round.[(triple10)] @1: Dave is blue.[(((triple2) -> rule2))] Fiona is blue.[(((triple7) -> rule2) OR ((((triple5 triple8) -> rule5)) -> rule2) OR ((((((triple4) -> rule1) triple8) -> rule5)) -> rule2))] Fiona is kind.[(((triple4 triple5) -> rule7) OR ((triple4 ((triple4) -> rule1)) -> rule7) OR ((triple6 ((triple7) -> rule2)) -> rule3) OR ((triple6 ((((triple5 triple8) -> rule5)) -> rule2)) -> rule3) OR ((((triple7 ((triple7) -> rule2)) -> rule6) ((triple7) -> rule2)) -> rule3) OR ((((triple7 ((triple7) -> rule2)) -> rule6) ((((triple5 triple8) -> rule5)) -> rule2)) -> rule3) OR ((((((triple5 triple8) -> rule5) ((triple7) -> rule2)) -> rule6) ((triple7) -> rule2)) -> rule3) OR ((((((triple5 triple8) -> rule5) ((triple7) -> rule2)) -> rule6) ((((triple5 triple8) -> rule5)) -> rule2)) -> rule3) OR ((triple6 ((((((triple4) -> rule1) triple8) -> rule5)) -> rule2)) -> rule3) OR ((((triple7 ((((triple5 triple8) -> rule5)) -> rule2)) -> rule6) ((triple7) -> rule2)) -> rule3) OR ((((triple7 ((triple7) -> rule2)) -> rule6) ((((((triple4) -> rule1) triple8) -> rule5)) -> rule2)) -> rule3) OR ((((triple7 ((((triple5 triple8) -> rule5)) -> rule2)) -> rule6) ((((triple5 triple8) -> rule5)) -> rule2)) -> rule3) OR ((((((triple5 triple8) -> rule5) ((((triple5 triple8) -> rule5)) -> rule2)) -> rule6) ((triple7) -> rule2)) -> rule3) OR ((((((((triple4) -> rule1) triple8) -> rule5) ((triple7) -> rule2)) -> rule6) ((triple7) -> rule2)) -> rule3) OR ((((triple7 ((((triple5 triple8) -> rule5)) -> rule2)) -> rule6) ((((((triple4) -> rule1) triple8) -> rule5)) -> rule2)) -> rule3) OR ((((((triple5 triple8) -> rule5) ((triple7) -> rule2)) -> rule6) ((((((triple4) -> rule1) triple8) -> rule5)) -> rule2)) -> rule3) OR ((((((triple5 triple8) -> rule5) ((((triple5 triple8) -> rule5)) -> rule2)) -> rule6) ((((triple5 triple8) -> rule5)) -> rule2)) -> rule3) OR ((((((((triple4) -> rule1) triple8) -> rule5) ((triple7) -> rule2)) -> rule6) ((((triple5 triple8) -> rule5)) -> rule2)) -> rule3) OR ((((((((triple4) -> rule1) triple8) -> rule5) ((((triple5 triple8) -> rule5)) -> rule2)) -> rule6) ((triple7) -> rule2)) -> rule3) OR ((((((triple5 triple8) -> rule5) ((((triple5 triple8) -> rule5)) -> rule2)) -> rule6) ((((((triple4) -> rule1) triple8) -> rule5)) -> rule2)) -> rule3) OR ((((((((triple4) -> rule1) triple8) -> rule5) ((triple7) -> rule2)) -> rule6) ((((((triple4) -> rule1) triple8) -> rule5)) -> rule2)) -> rule3) OR ((((((((triple4) -> rule1) triple8) -> rule5) ((((triple5 triple8) -> rule5)) -> rule2)) -> rule6) ((((triple5 triple8) -> rule5)) -> rule2)) -> rule3) OR ((((((((triple4) -> rule1) triple8) -> rule5) ((((triple5 triple8) -> rule5)) -> rule2)) -> rule6) ((((((triple4) -> rule1) triple8) -> rule5)) -> rule2)) -> rule3) OR ((((triple7 ((((((triple4) -> rule1) triple8) -> rule5)) -> rule2)) -> rule6) ((triple7) -> rule2)) -> rule3) OR ((((triple7 ((((((triple4) -> rule1) triple8) -> rule5)) -> rule2)) -> rule6) ((((triple5 triple8) -> rule5)) -> rule2)) -> rule3) OR ((((((triple5 triple8) -> rule5) ((((((triple4) -> rule1) triple8) -> rule5)) -> rule2)) -> rule6) ((triple7) -> rule2)) -> rule3) OR ((((triple7 ((((((triple4) -> rule1) triple8) -> rule5)) -> rule2)) -> rule6) ((((((triple4) -> rule1) triple8) -> rule5)) -> rule2)) -> rule3) OR ((((((triple5 triple8) -> rule5) ((((((triple4) -> rule1) triple8) -> rule5)) -> rule2)) -> rule6) ((((triple5 triple8) -> rule5)) -> rule2)) -> rule3) OR ((((((((triple4) -> rule1) triple8) -> rule5) ((((((triple4) -> rule1) triple8) -> rule5)) -> rule2)) -> rule6) ((triple7) -> rule2)) -> rule3) OR ((((((triple5 triple8) -> rule5) ((((((triple4) -> rule1) triple8) -> rule5)) -> rule2)) -> rule6) ((((((triple4) -> rule1) triple8) -> rule5)) -> rule2)) -> rule3) OR ((((((((triple4) -> rule1) triple8) -> rule5) ((((((triple4) -> rule1) triple8) -> rule5)) -> rule2)) -> rule6) ((((triple5 triple8) -> rule5)) -> rule2)) -> rule3) OR ((((((((triple4) -> rule1) triple8) -> rule5) ((((((triple4) -> rule1) triple8) -> rule5)) -> rule2)) -> rule6) ((((((triple4) -> rule1) triple8) -> rule5)) -> rule2)) -> rule3))] Harry is blue.[(((triple10) -> rule2))] Harry is red.[(((triple9) -> rule1))] @2: Dave is rough.[(((triple2 ((triple2) -> rule2)) -> rule6))] Harry is kind.[(((triple9 ((triple9) -> rule1)) -> rule7) OR ((((triple10 ((triple10) -> rule2)) -> rule6) ((triple10) -> rule2)) -> rule3))] Harry is rough.[(((triple10 ((triple10) -> rule2)) -> rule6))] @3: Dave is kind.[(((((triple2 ((triple2) -> rule2)) -> rule6) ((triple2) -> rule2)) -> rule3))] @4: Dave is quiet.[(((triple3 ((((triple2 ((triple2) -> rule2)) -> rule6) ((triple2) -> rule2)) -> rule3)) -> rule4))] @5: Dave is red.[(((((triple3 ((((triple2 ((triple2) -> rule2)) -> rule6) ((triple2) -> rule2)) -> rule3)) -> rule4)) -> rule1))]