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