Fiona is blue. Fiona is kind. Fiona is nice. Fiona is red. Fiona is round. Fiona is smart. Harry is blue. Harry is nice. Harry is red. Harry is rough. Harry is round. Harry is smart. If something is nice and kind then it is blue. If Fiona is smart and Fiona is blue then Fiona is round. If Harry is rough then Harry is nice. If something is round and blue then it is rough. If Fiona is blue and Fiona is kind then Fiona is red. All nice, rough things are smart.
Harry is not smart.
@0: Fiona is blue.[(triple1 OR ((triple3 triple2) -> rule1))] Fiona is kind.[(triple2)] Fiona is nice.[(triple3)] Fiona is red.[(triple4 OR ((triple1 triple2) -> rule5) OR ((((triple3 triple2) -> rule1) triple2) -> rule5))] Fiona is round.[(triple5 OR ((triple6 triple1) -> rule2) OR ((triple6 ((triple3 triple2) -> rule1)) -> rule2))] Fiona is smart.[(triple6 OR ((triple3 ((triple5 triple1) -> rule4)) -> rule6) OR ((triple3 ((triple5 ((triple3 triple2) -> rule1)) -> rule4)) -> rule6))] Harry is blue.[(triple7)] Harry is nice.[(triple8 OR ((triple10) -> rule3) OR ((((triple11 triple7) -> rule4)) -> rule3))] Harry is red.[(triple9)] Harry is rough.[(triple10 OR ((triple11 triple7) -> rule4))] Harry is round.[(triple11)] Harry is smart.[(triple12 OR ((triple8 triple10) -> rule6) OR ((triple8 ((triple11 triple7) -> rule4)) -> rule6) OR ((((triple10) -> rule3) triple10) -> rule6) OR ((((triple10) -> rule3) ((triple11 triple7) -> rule4)) -> rule6) OR ((((((triple11 triple7) -> rule4)) -> rule3) triple10) -> rule6) OR ((((((triple11 triple7) -> rule4)) -> rule3) ((triple11 triple7) -> rule4)) -> rule6))] @1: Fiona is rough.[(((triple5 triple1) -> rule4) OR ((triple5 ((triple3 triple2) -> rule1)) -> rule4) OR ((((triple6 triple1) -> rule2) triple1) -> rule4) OR ((((triple6 triple1) -> rule2) ((triple3 triple2) -> rule1)) -> rule4) OR ((((triple6 ((triple3 triple2) -> rule1)) -> rule2) triple1) -> rule4) OR ((((triple6 ((triple3 triple2) -> rule1)) -> rule2) ((triple3 triple2) -> rule1)) -> rule4))]