Fiona is cold. Fiona is green. Fiona is red. Fiona is rough. Fiona is round. Fiona is smart. Fiona is white. Harry is green. Harry is smart. Harry is white. If Harry is rough then Harry is round. All round, white people are red. If someone is smart and white then they are rough. If someone is smart then they are white. If Harry is round and Harry is green then Harry is white. Cold, red people are smart.
Fiona is white.
@0: Fiona is cold.[(triple1)] Fiona is green.[(triple2)] Fiona is red.[(triple3 OR ((triple5 triple7) -> rule2) OR ((triple5 ((triple6) -> rule4)) -> rule2))] Fiona is rough.[(triple4 OR ((triple6 triple7) -> rule3) OR ((triple6 ((triple6) -> rule4)) -> rule3) OR ((((triple1 triple3) -> rule6) triple7) -> rule3) OR ((((triple1 triple3) -> rule6) ((triple6) -> rule4)) -> rule3) OR ((triple6 ((((triple1 triple3) -> rule6)) -> rule4)) -> rule3) OR ((((triple1 ((triple5 triple7) -> rule2)) -> rule6) triple7) -> rule3) OR ((((triple1 triple3) -> rule6) ((((triple1 triple3) -> rule6)) -> rule4)) -> rule3) OR ((((triple1 ((triple5 triple7) -> rule2)) -> rule6) ((triple6) -> rule4)) -> rule3) OR ((((triple1 ((triple5 triple7) -> rule2)) -> rule6) ((((triple1 triple3) -> rule6)) -> rule4)) -> rule3))] Fiona is round.[(triple5)] Fiona is smart.[(triple6 OR ((triple1 triple3) -> rule6) OR ((triple1 ((triple5 triple7) -> rule2)) -> rule6))] Fiona is white.[(triple7 OR ((triple6) -> rule4) OR ((((triple1 triple3) -> rule6)) -> rule4))] Harry is green.[(triple8)] Harry is smart.[(triple9)] Harry is white.[(triple10 OR ((triple9) -> rule4))] @1: Harry is rough.[(((triple9 triple10) -> rule3) OR ((triple9 ((triple9) -> rule4)) -> rule3))] @2: Harry is round.[(((((triple9 triple10) -> rule3)) -> rule1) OR ((((triple9 ((triple9) -> rule4)) -> rule3)) -> rule1))] @3: Harry is red.[(((((((triple9 triple10) -> rule3)) -> rule1) triple10) -> rule2) OR ((((((triple9 triple10) -> rule3)) -> rule1) ((triple9) -> rule4)) -> rule2) OR ((((((triple9 ((triple9) -> rule4)) -> rule3)) -> rule1) triple10) -> rule2) OR ((((((triple9 ((triple9) -> rule4)) -> rule3)) -> rule1) ((triple9) -> rule4)) -> rule2))]