Bob is big. Bob is kind. Bob is rough. Bob is young. Erin is big. Erin is nice. Erin is red. Erin is rough. Erin is smart. Erin is young. Smart, kind things are young. If Erin is nice then Erin is young. All big, smart things are young. If something is red and kind then it is nice. All big, rough things are kind. If Bob is red then Bob is nice.
Bob is not nice.
@0: Bob is big.[(triple1)] Bob is kind.[(triple2 OR ((triple1 triple3) -> rule5))] Bob is rough.[(triple3)] Bob is young.[(triple4)] Erin is big.[(triple5)] Erin is nice.[(triple6 OR ((triple7 ((triple5 triple8) -> rule5)) -> rule4))] Erin is red.[(triple7)] Erin is rough.[(triple8)] Erin is smart.[(triple9)] Erin is young.[(triple10 OR ((triple6) -> rule2) OR ((triple5 triple9) -> rule3) OR ((triple9 ((triple5 triple8) -> rule5)) -> rule1) OR ((((triple7 ((triple5 triple8) -> rule5)) -> rule4)) -> rule2))] @1: Erin is kind.[(((triple5 triple8) -> rule5))]