Fiona is big. Fiona is cold. Fiona is nice. Fiona is quiet. Fiona is red. Fiona is rough. Fiona is smart. Gary is big. Gary is cold. Gary is nice. Gary is quiet. Gary is red. Gary is rough. Gary is smart. If Fiona is red then Fiona is nice. If Gary is rough and Gary is red then Gary is smart. Smart, nice people are red. If someone is big then they are red. If Gary is nice and Gary is red then Gary is big. Cold people are big. If Gary is cold then Gary is big. All smart people are big.
Fiona is nice.
@0: Fiona is big.[(triple1 OR ((triple2) -> rule6) OR ((triple7) -> rule8))] Fiona is cold.[(triple2)] Fiona is nice.[(triple3 OR ((triple5) -> rule1) OR ((((triple1) -> rule4)) -> rule1) OR ((((((triple2) -> rule6)) -> rule4)) -> rule1) OR ((((((triple7) -> rule8)) -> rule4)) -> rule1))] Fiona is quiet.[(triple4)] Fiona is red.[(triple5 OR ((triple1) -> rule4) OR ((triple7 triple3) -> rule3) OR ((((triple2) -> rule6)) -> rule4) OR ((((triple7) -> rule8)) -> rule4))] Fiona is rough.[(triple6)] Fiona is smart.[(triple7)] Gary is big.[(triple8 OR ((triple14) -> rule8) OR ((triple9) -> rule6) OR ((triple9) -> rule7) OR ((triple10 triple12) -> rule5) OR ((((triple13 triple12) -> rule2)) -> rule8) OR ((triple10 ((triple14 triple10) -> rule3)) -> rule5))] Gary is cold.[(triple9)] Gary is nice.[(triple10)] Gary is quiet.[(triple11)] Gary is red.[(triple12 OR ((triple8) -> rule4) OR ((triple14 triple10) -> rule3) OR ((((triple14) -> rule8)) -> rule4) OR ((((triple9) -> rule6)) -> rule4) OR ((((triple9) -> rule7)) -> rule4))] Gary is rough.[(triple13)] Gary is smart.[(triple14 OR ((triple13 triple12) -> rule2) OR ((triple13 ((triple8) -> rule4)) -> rule2) OR ((triple13 ((((triple9) -> rule6)) -> rule4)) -> rule2) OR ((triple13 ((((triple9) -> rule7)) -> rule4)) -> rule2))]