Bob is blue. Bob is cold. Bob is white. Bob is young. Charlie is young. Fiona is blue. Fiona is cold. Fiona is nice. Fiona is quiet. Fiona is round. Harry is blue. Harry is nice. Cold people are blue. Young people are cold. Young, cold people are white. If Fiona is young and Fiona is round then Fiona is blue. If someone is round and cold then they are young. If someone is white then they are round.
Fiona is cold.
@0: Bob is blue.[(triple1 OR ((triple2) -> rule1) OR ((((triple4) -> rule2)) -> rule1))] Bob is cold.[(triple2 OR ((triple4) -> rule2))] Bob is white.[(triple3 OR ((triple4 triple2) -> rule3) OR ((triple4 ((triple4) -> rule2)) -> rule3))] Bob is young.[(triple4 OR ((((triple3) -> rule6) triple2) -> rule5))] Charlie is young.[(triple5)] Fiona is blue.[(triple6 OR ((triple7) -> rule1) OR ((((triple10 triple7) -> rule5) triple10) -> rule4))] Fiona is cold.[(triple7)] Fiona is nice.[(triple8)] Fiona is quiet.[(triple9)] Fiona is round.[(triple10)] Harry is blue.[(triple11)] Harry is nice.[(triple12)] @1: Bob is round.[(((triple3) -> rule6) OR ((((triple4 triple2) -> rule3)) -> rule6) OR ((((triple4 ((triple4) -> rule2)) -> rule3)) -> rule6))] Charlie is cold.[(((triple5) -> rule2))] Fiona is young.[(((triple10 triple7) -> rule5))] @2: Charlie is blue.[(((((triple5) -> rule2)) -> rule1))] Charlie is white.[(((triple5 ((triple5) -> rule2)) -> rule3))] Fiona is white.[(((((triple10 triple7) -> rule5) triple7) -> rule3))] @3: Charlie is round.[(((((triple5 ((triple5) -> rule2)) -> rule3)) -> rule6))]