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