Anne is cold. Anne is nice. Anne is round. Anne is smart. Anne is white. Anne is young. Bob is cold. Bob is red. Bob is round. Bob is smart. Bob is white. Charlie is red. Charlie is young. Fiona is red. Fiona is smart. Fiona is young. All nice things are red. Cold things are white. If Fiona is red and Fiona is cold then Fiona is smart. If something is red then it is round. Nice, young things are cold. Smart, round things are nice.
Fiona is not nice.
@0: Anne is cold.[(triple1 OR ((triple2 triple6) -> rule5) OR ((((triple4 triple3) -> rule6) triple6) -> rule5))] Anne is nice.[(triple2 OR ((triple4 triple3) -> rule6))] Anne is round.[(triple3 OR ((((triple2) -> rule1)) -> rule4))] Anne is smart.[(triple4)] Anne is white.[(triple5 OR ((triple1) -> rule2) OR ((((triple2 triple6) -> rule5)) -> rule2) OR ((((((triple4 triple3) -> rule6) triple6) -> rule5)) -> rule2))] Anne is young.[(triple6)] Bob is cold.[(triple7)] Bob is red.[(triple8 OR ((((triple10 triple9) -> rule6)) -> rule1))] Bob is round.[(triple9 OR ((triple8) -> rule4))] Bob is smart.[(triple10)] Bob is white.[(triple11 OR ((triple7) -> rule2))] Charlie is red.[(triple12)] Charlie is young.[(triple13)] Fiona is red.[(triple14)] Fiona is smart.[(triple15)] Fiona is young.[(triple16)] @1: Anne is red.[(((triple2) -> rule1) OR ((((triple4 triple3) -> rule6)) -> rule1))] Bob is nice.[(((triple10 triple9) -> rule6) OR ((triple10 ((triple8) -> rule4)) -> rule6))] Charlie is round.[(((triple12) -> rule4))] Fiona is round.[(((triple14) -> rule4))] @2: Fiona is nice.[(((triple15 ((triple14) -> rule4)) -> rule6))] @3: Fiona is cold.[(((((triple15 ((triple14) -> rule4)) -> rule6) triple16) -> rule5))] @4: Fiona is white.[(((((((triple15 ((triple14) -> rule4)) -> rule6) triple16) -> rule5)) -> rule2))]