Bob is big. Bob is green. Bob is nice. Bob is rough. Bob is smart. Bob is white. Fiona is big. Fiona is furry. Fiona is green. Fiona is nice. Fiona is rough. Fiona is smart. Fiona is white. Gary is green. Gary is not rough. Gary is white. White, rough people are smart. All big people are smart. If someone is rough then they are green. If someone is big then they are green. If someone is rough then they are white. If someone is nice and rough then they are big.
Fiona is not green.
@0: Bob is big.[(triple1 OR ((triple3 triple4) -> rule6))] Bob is green.[(triple2 OR ((triple1) -> rule4) OR ((triple4) -> rule3) OR ((((triple3 triple4) -> rule6)) -> rule4))] Bob is nice.[(triple3)] Bob is rough.[(triple4)] Bob is smart.[(triple5 OR ((triple1) -> rule2) OR ((triple6 triple4) -> rule1) OR ((((triple3 triple4) -> rule6)) -> rule2) OR ((((triple4) -> rule5) triple4) -> rule1))] Bob is white.[(triple6 OR ((triple4) -> rule5))] Fiona is big.[(triple7 OR ((triple10 triple11) -> rule6))] Fiona is furry.[(triple8)] Fiona is green.[(triple9 OR ((triple11) -> rule3) OR ((triple7) -> rule4) OR ((((triple10 triple11) -> rule6)) -> rule4))] Fiona is nice.[(triple10)] Fiona is rough.[(triple11)] Fiona is smart.[(triple12 OR ((triple7) -> rule2) OR ((triple13 triple11) -> rule1) OR ((((triple10 triple11) -> rule6)) -> rule2) OR ((((triple11) -> rule5) triple11) -> rule1))] Fiona is white.[(triple13 OR ((triple11) -> rule5))] Gary is green.[(triple14)] Gary is not rough.[(triple15)] Gary is white.[(triple16)]