Bob is furry. Bob is green. Bob is nice. Bob is red. Bob is not rough. Bob is smart. Bob is white. Fiona is not furry. Fiona is green. Fiona is nice. Fiona is red. Fiona is rough. Fiona is smart. Fiona is not white. If something is white and not red then it is nice. If something is red and white then it is furry. If Fiona is red and Fiona is rough then Fiona is green. If something is green and not white then it is rough. If something is smart and not furry then it is green. All rough, red things are green.
Fiona is red.
@0: Bob is furry.[(triple1 OR ((triple4 triple7) -> rule2))] Bob is green.[(triple2)] Bob is nice.[(triple3)] Bob is not rough.[(triple5)] Bob is red.[(triple4)] Bob is smart.[(triple6)] Bob is white.[(triple7)] Fiona is green.[(triple9 OR ((triple11 triple12) -> rule3) OR ((triple12 triple11) -> rule6) OR ((triple13 triple8) -> rule5))] Fiona is nice.[(triple10)] Fiona is not furry.[(triple8)] Fiona is not white.[(triple14)] Fiona is red.[(triple11)] Fiona is rough.[(triple12 OR ((triple9 triple14) -> rule4) OR ((((triple13 triple8) -> rule5) triple14) -> rule4))] Fiona is smart.[(triple13)]