Bob is big. Bob is nice. Bob is rough. Bob is young. Dave is big. Dave is blue. Dave is rough. Dave is smart. Dave is young. Erin is big. Erin is blue. Erin is green. Erin is nice. Erin is smart. Erin is young. If someone is nice and big then they are blue. If someone is nice then they are young. If someone is green and young then they are rough. If someone is rough then they are nice. If someone is blue then they are green. If someone is nice then they are smart.
Bob is green.
@0: Bob is big.[(triple1)] Bob is nice.[(triple2 OR ((triple3) -> rule4))] Bob is rough.[(triple3 OR ((((((triple2 triple1) -> rule1)) -> rule5) triple4) -> rule3) OR ((((((triple2 triple1) -> rule1)) -> rule5) ((triple2) -> rule2)) -> rule3))] Bob is young.[(triple4 OR ((triple2) -> rule2) OR ((((triple3) -> rule4)) -> rule2))] Dave is big.[(triple5)] Dave is blue.[(triple6 OR ((((triple7) -> rule4) triple5) -> rule1))] Dave is rough.[(triple7 OR ((((triple6) -> rule5) triple9) -> rule3))] Dave is smart.[(triple8 OR ((((triple7) -> rule4)) -> rule6) OR ((((((((triple6) -> rule5) triple9) -> rule3)) -> rule4)) -> rule6))] Dave is young.[(triple9 OR ((((triple7) -> rule4)) -> rule2))] Erin is big.[(triple10)] Erin is blue.[(triple11 OR ((triple13 triple10) -> rule1) OR ((((((triple12 triple15) -> rule3)) -> rule4) triple10) -> rule1))] Erin is green.[(triple12 OR ((triple11) -> rule5) OR ((((triple13 triple10) -> rule1)) -> rule5))] Erin is nice.[(triple13 OR ((((triple12 triple15) -> rule3)) -> rule4) OR ((((((triple11) -> rule5) triple15) -> rule3)) -> rule4))] Erin is smart.[(triple14 OR ((triple13) -> rule6) OR ((((((triple12 triple15) -> rule3)) -> rule4)) -> rule6) OR ((((((((triple11) -> rule5) triple15) -> rule3)) -> rule4)) -> rule6))] Erin is young.[(triple15 OR ((triple13) -> rule2))] @1: Bob is blue.[(((triple2 triple1) -> rule1) OR ((((triple3) -> rule4) triple1) -> rule1))] Bob is smart.[(((triple2) -> rule6) OR ((((triple3) -> rule4)) -> rule6))] Dave is green.[(((triple6) -> rule5) OR ((((((triple7) -> rule4) triple5) -> rule1)) -> rule5))] Dave is nice.[(((triple7) -> rule4) OR ((((((triple6) -> rule5) triple9) -> rule3)) -> rule4))] Erin is rough.[(((triple12 triple15) -> rule3) OR ((triple12 ((triple13) -> rule2)) -> rule3) OR ((((triple11) -> rule5) triple15) -> rule3) OR ((((triple11) -> rule5) ((triple13) -> rule2)) -> rule3) OR ((((((triple13 triple10) -> rule1)) -> rule5) triple15) -> rule3) OR ((((((triple13 triple10) -> rule1)) -> rule5) ((triple13) -> rule2)) -> rule3))] @2: Bob is green.[(((((triple2 triple1) -> rule1)) -> rule5) OR ((((((triple3) -> rule4) triple1) -> rule1)) -> rule5))]