Bob is green. Bob is nice. Bob is quiet. Bob is round. Bob is young. Erin is green. Erin is kind. Erin is nice. Erin is quiet. Erin is round. Erin is young. Gary is kind. Gary is nice. Gary is quiet. Gary is round. If Bob is green then Bob is kind. All green things are smart. Young things are smart. If something is kind and round then it is quiet. All quiet things are young. All kind, quiet things are round. If Erin is nice and Erin is green then Erin is kind. All kind things are green.
Bob is young.
@0: Bob is green.[(triple1)] Bob is nice.[(triple2)] Bob is quiet.[(triple3 OR ((((triple1) -> rule1) triple4) -> rule4))] Bob is round.[(triple4 OR ((((triple1) -> rule1) triple3) -> rule6))] Bob is young.[(triple5 OR ((triple3) -> rule5) OR ((((((triple1) -> rule1) triple4) -> rule4)) -> rule5))] Erin is green.[(triple6 OR ((triple7) -> rule8))] Erin is kind.[(triple7 OR ((triple8 triple6) -> rule7))] Erin is nice.[(triple8)] Erin is quiet.[(triple9 OR ((triple7 triple10) -> rule4) OR ((((triple8 triple6) -> rule7) triple10) -> rule4))] Erin is round.[(triple10 OR ((triple7 triple9) -> rule6) OR ((((triple8 triple6) -> rule7) triple9) -> rule6))] Erin is young.[(triple11 OR ((triple9) -> rule5) OR ((((triple7 triple10) -> rule4)) -> rule5) OR ((((((triple8 triple6) -> rule7) triple10) -> rule4)) -> rule5))] Gary is kind.[(triple12)] Gary is nice.[(triple13)] Gary is quiet.[(triple14 OR ((triple12 triple15) -> rule4))] Gary is round.[(triple15 OR ((triple12 triple14) -> rule6))] @1: Bob is kind.[(((triple1) -> rule1))] Bob is smart.[(((triple1) -> rule2) OR ((triple5) -> rule3) OR ((((triple3) -> rule5)) -> rule3) OR ((((((((triple1) -> rule1) triple4) -> rule4)) -> rule5)) -> rule3))] Erin is smart.[(((triple11) -> rule3) OR ((triple6) -> rule2) OR ((((triple7) -> rule8)) -> rule2) OR ((((triple9) -> rule5)) -> rule3) OR ((((((triple7 triple10) -> rule4)) -> rule5)) -> rule3) OR ((((((((triple8 triple6) -> rule7) triple10) -> rule4)) -> rule5)) -> rule3))] Gary is green.[(((triple12) -> rule8))] Gary is young.[(((triple14) -> rule5) OR ((((triple12 triple15) -> rule4)) -> rule5))] @2: Gary is smart.[(((((triple12) -> rule8)) -> rule2) OR ((((triple14) -> rule5)) -> rule3) OR ((((((triple12 triple15) -> rule4)) -> rule5)) -> rule3))]