Anne is blue. Anne is furry. Anne is rough. Dave is blue. Dave is cold. Dave is rough. Dave is white. Fiona is blue. Fiona is nice. Fiona is red. Harry is nice. Harry is white. If someone is white then they are rough. If someone is rough then they are blue. Furry, nice people are white. If someone is white then they are red. Furry, red people are blue. If Anne is red and Anne is nice then Anne is white. If someone is furry then they are nice. All cold people are rough.
Fiona is not rough.
@0: Anne is blue.[(triple1 OR ((triple3) -> rule2) OR ((((((triple2 ((triple2) -> rule7)) -> rule3)) -> rule1)) -> rule2) OR ((triple2 ((((triple2 ((triple2) -> rule7)) -> rule3)) -> rule4)) -> rule5))] Anne is furry.[(triple2)] Anne is rough.[(triple3 OR ((((triple2 ((triple2) -> rule7)) -> rule3)) -> rule1))] Dave is blue.[(triple4 OR ((triple6) -> rule2) OR ((((triple5) -> rule8)) -> rule2) OR ((((triple7) -> rule1)) -> rule2))] Dave is cold.[(triple5)] Dave is rough.[(triple6 OR ((triple5) -> rule8) OR ((triple7) -> rule1))] Dave is white.[(triple7)] Fiona is blue.[(triple8)] Fiona is nice.[(triple9)] Fiona is red.[(triple10)] Harry is nice.[(triple11)] Harry is white.[(triple12)] @1: Anne is nice.[(((triple2) -> rule7))] Dave is red.[(((triple7) -> rule4))] Harry is red.[(((triple12) -> rule4))] Harry is rough.[(((triple12) -> rule1))] @2: Anne is white.[(((triple2 ((triple2) -> rule7)) -> rule3))] Harry is blue.[(((((triple12) -> rule1)) -> rule2))] @3: Anne is red.[(((((triple2 ((triple2) -> rule7)) -> rule3)) -> rule4))]