Bob is big. Bob is quiet. Erin is kind. Erin is quiet. Erin is red. Erin is rough. Erin is round. Erin is smart. Gary is big. Gary is quiet. Gary is round. Gary is smart. If someone is big and kind then they are red. If someone is kind then they are rough. Round, smart people are kind. All quiet, kind people are smart. If Bob is round then Bob is red. Big people are quiet.
Gary is big.
@0: Bob is big.[(triple1)] Bob is quiet.[(triple2 OR ((triple1) -> rule6))] Erin is kind.[(triple3 OR ((triple7 triple8) -> rule3))] Erin is quiet.[(triple4)] Erin is red.[(triple5)] Erin is rough.[(triple6 OR ((triple3) -> rule2) OR ((((triple7 triple8) -> rule3)) -> rule2))] Erin is round.[(triple7)] Erin is smart.[(triple8 OR ((triple4 triple3) -> rule4))] Gary is big.[(triple9)] Gary is quiet.[(triple10 OR ((triple9) -> rule6))] Gary is round.[(triple11)] Gary is smart.[(triple12)] @1: Gary is kind.[(((triple11 triple12) -> rule3))] @2: Gary is red.[(((triple9 ((triple11 triple12) -> rule3)) -> rule1))] Gary is rough.[(((((triple11 triple12) -> rule3)) -> rule2))]