Bob is cold. Bob is furry. Bob is red. Charlie is cold. Charlie is green. Charlie is red. Fiona is cold. Fiona is furry. Fiona is green. Fiona is quiet. Fiona is red. Fiona is round. Harry is cold. Harry is furry. Harry is green. Harry is round. Round, green people are nice. All quiet people are red. Cold, nice people are furry. Round, nice people are quiet. If Bob is quiet then Bob is green. If Fiona is red then Fiona is round.
Bob is not round.
@0: Bob is cold.[(triple1)] Bob is furry.[(triple2)] Bob is red.[(triple3)] Charlie is cold.[(triple4)] Charlie is green.[(triple5)] Charlie is red.[(triple6)] Fiona is cold.[(triple7)] Fiona is furry.[(triple8 OR ((triple7 ((triple12 triple9) -> rule1)) -> rule3) OR ((triple7 ((((triple11) -> rule6) triple9) -> rule1)) -> rule3) OR ((triple7 ((((((triple10) -> rule2)) -> rule6) triple9) -> rule1)) -> rule3))] Fiona is green.[(triple9)] Fiona is quiet.[(triple10 OR ((triple12 ((triple12 triple9) -> rule1)) -> rule4) OR ((((triple11) -> rule6) ((triple12 triple9) -> rule1)) -> rule4) OR ((triple12 ((((triple11) -> rule6) triple9) -> rule1)) -> rule4) OR ((((triple11) -> rule6) ((((triple11) -> rule6) triple9) -> rule1)) -> rule4))] Fiona is red.[(triple11 OR ((triple10) -> rule2) OR ((((triple12 ((triple12 triple9) -> rule1)) -> rule4)) -> rule2))] Fiona is round.[(triple12 OR ((triple11) -> rule6) OR ((((triple10) -> rule2)) -> rule6))] Harry is cold.[(triple13)] Harry is furry.[(triple14 OR ((triple13 ((triple16 triple15) -> rule1)) -> rule3))] Harry is green.[(triple15)] Harry is round.[(triple16)] @1: Fiona is nice.[(((triple12 triple9) -> rule1) OR ((((triple11) -> rule6) triple9) -> rule1) OR ((((((triple10) -> rule2)) -> rule6) triple9) -> rule1))] Harry is nice.[(((triple16 triple15) -> rule1))] @2: Harry is quiet.[(((triple16 ((triple16 triple15) -> rule1)) -> rule4))] @3: Harry is red.[(((((triple16 ((triple16 triple15) -> rule1)) -> rule4)) -> rule2))]