Bob is big. Bob is cold. Bob is green. Bob is quiet. Bob is red. Bob is rough. Bob is smart. Charlie is big. Charlie is quiet. Charlie is smart. Fiona is cold. Fiona is green. Fiona is quiet. Fiona is red. Fiona is rough. Fiona is smart. All smart, quiet people are green. If Bob is rough and Bob is red then Bob is big. Red, rough people are quiet.
Charlie is not rough.
@0: Bob is big.[(triple1 OR ((triple6 triple5) -> rule2))] Bob is cold.[(triple2)] Bob is green.[(triple3 OR ((triple7 triple4) -> rule1) OR ((triple7 ((triple5 triple6) -> rule3)) -> rule1))] Bob is quiet.[(triple4 OR ((triple5 triple6) -> rule3))] Bob is red.[(triple5)] Bob is rough.[(triple6)] Bob is smart.[(triple7)] Charlie is big.[(triple8)] Charlie is quiet.[(triple9)] Charlie is smart.[(triple10)] Fiona is cold.[(triple11)] Fiona is green.[(triple12 OR ((triple16 triple13) -> rule1) OR ((triple16 ((triple14 triple15) -> rule3)) -> rule1))] Fiona is quiet.[(triple13 OR ((triple14 triple15) -> rule3))] Fiona is red.[(triple14)] Fiona is rough.[(triple15)] Fiona is smart.[(triple16)] @1: Charlie is green.[(((triple10 triple9) -> rule1))]