Fiona is blue. Fiona is cold. Fiona is furry. Fiona is green. Fiona is quiet. Fiona is rough. Fiona is white. Harry is furry. Harry is green. Harry is quiet. Harry is rough. Harry is white. If something is cold then it is green. If something is blue and cold then it is furry. Furry, green things are rough. All quiet things are green. Green, quiet things are rough. Furry, quiet things are cold. If Fiona is rough and Fiona is white then Fiona is blue. Cold things are rough.
Fiona is cold.
@0: Fiona is blue.[(triple1 OR ((triple6 triple7) -> rule7) OR ((((triple2) -> rule8) triple7) -> rule7) OR ((((triple3 triple4) -> rule3) triple7) -> rule7) OR ((((triple4 triple5) -> rule5) triple7) -> rule7) OR ((((((triple3 triple5) -> rule6)) -> rule8) triple7) -> rule7) OR ((((triple3 ((triple2) -> rule1)) -> rule3) triple7) -> rule7) OR ((((triple3 ((triple5) -> rule4)) -> rule3) triple7) -> rule7) OR ((((((triple2) -> rule1) triple5) -> rule5) triple7) -> rule7) OR ((((((triple5) -> rule4) triple5) -> rule5) triple7) -> rule7) OR ((((triple3 ((((triple3 triple5) -> rule6)) -> rule1)) -> rule3) triple7) -> rule7) OR ((((((((triple3 triple5) -> rule6)) -> rule1) triple5) -> rule5) triple7) -> rule7))] Fiona is cold.[(triple2 OR ((triple3 triple5) -> rule6))] Fiona is furry.[(triple3 OR ((triple1 triple2) -> rule2) OR ((((triple6 triple7) -> rule7) triple2) -> rule2) OR ((((((triple2) -> rule8) triple7) -> rule7) triple2) -> rule2) OR ((((((triple4 triple5) -> rule5) triple7) -> rule7) triple2) -> rule2) OR ((((((((triple2) -> rule1) triple5) -> rule5) triple7) -> rule7) triple2) -> rule2) OR ((((((((triple5) -> rule4) triple5) -> rule5) triple7) -> rule7) triple2) -> rule2))] Fiona is green.[(triple4 OR ((triple2) -> rule1) OR ((triple5) -> rule4) OR ((((triple3 triple5) -> rule6)) -> rule1))] Fiona is quiet.[(triple5)] Fiona is rough.[(triple6 OR ((triple2) -> rule8) OR ((triple3 triple4) -> rule3) OR ((triple4 triple5) -> rule5) OR ((((triple3 triple5) -> rule6)) -> rule8) OR ((triple3 ((triple2) -> rule1)) -> rule3) OR ((triple3 ((triple5) -> rule4)) -> rule3) OR ((((triple2) -> rule1) triple5) -> rule5) OR ((((triple5) -> rule4) triple5) -> rule5) OR ((((triple1 triple2) -> rule2) triple4) -> rule3) OR ((((triple1 triple2) -> rule2) ((triple2) -> rule1)) -> rule3) OR ((((triple1 triple2) -> rule2) ((triple5) -> rule4)) -> rule3) OR ((triple3 ((((triple3 triple5) -> rule6)) -> rule1)) -> rule3) OR ((((((triple3 triple5) -> rule6)) -> rule1) triple5) -> rule5) OR ((((triple1 triple2) -> rule2) ((((triple3 triple5) -> rule6)) -> rule1)) -> rule3))] Fiona is white.[(triple7)] Harry is furry.[(triple8)] Harry is green.[(triple9 OR ((triple10) -> rule4) OR ((((triple8 triple10) -> rule6)) -> rule1))] Harry is quiet.[(triple10)] Harry is rough.[(triple11 OR ((triple8 triple9) -> rule3) OR ((triple9 triple10) -> rule5) OR ((((triple8 triple10) -> rule6)) -> rule8) OR ((triple8 ((triple10) -> rule4)) -> rule3) OR ((((triple10) -> rule4) triple10) -> rule5) OR ((triple8 ((((triple8 triple10) -> rule6)) -> rule1)) -> rule3) OR ((((((triple8 triple10) -> rule6)) -> rule1) triple10) -> rule5))] Harry is white.[(triple12)] @1: Harry is cold.[(((triple8 triple10) -> rule6))]