Bob is big. Charlie is blue. Charlie is quiet. Charlie is young. Dave is big. Dave is green. Dave is rough. Gary is big. Gary is furry. Gary is rough. Blue people are green. Quiet, big people are rough. Green, young people are furry. All furry, big people are quiet. All quiet, rough people are green. Blue, green people are young. Big people are blue. If someone is blue and green then they are big. If someone is quiet and rough then they are green.
Charlie is not rough.
@0: Bob is big.[(triple1)] Charlie is blue.[(triple2)] Charlie is quiet.[(triple3 OR ((((((triple2) -> rule1) triple4) -> rule3) ((triple2 ((triple2) -> rule1)) -> rule8)) -> rule4) OR ((((((triple2) -> rule1) ((triple2 ((triple2) -> rule1)) -> rule6)) -> rule3) ((triple2 ((triple2) -> rule1)) -> rule8)) -> rule4))] Charlie is young.[(triple4 OR ((triple2 ((triple2) -> rule1)) -> rule6))] Dave is big.[(triple5)] Dave is green.[(triple6 OR ((((triple5) -> rule7)) -> rule1))] Dave is rough.[(triple7 OR ((((((triple6 ((((triple5) -> rule7) triple6) -> rule6)) -> rule3) triple5) -> rule4) triple5) -> rule2) OR ((((((((((triple5) -> rule7)) -> rule1) ((((triple5) -> rule7) triple6) -> rule6)) -> rule3) triple5) -> rule4) triple5) -> rule2) OR ((((((triple6 ((((triple5) -> rule7) ((((triple5) -> rule7)) -> rule1)) -> rule6)) -> rule3) triple5) -> rule4) triple5) -> rule2) OR ((((((((((triple5) -> rule7)) -> rule1) ((((triple5) -> rule7) ((((triple5) -> rule7)) -> rule1)) -> rule6)) -> rule3) triple5) -> rule4) triple5) -> rule2))] Gary is big.[(triple8)] Gary is furry.[(triple9 OR ((((((triple8) -> rule7)) -> rule1) ((((triple8) -> rule7) ((((triple8) -> rule7)) -> rule1)) -> rule6)) -> rule3))] Gary is rough.[(triple10 OR ((((triple9 triple8) -> rule4) triple8) -> rule2) OR ((((((((((triple8) -> rule7)) -> rule1) ((((triple8) -> rule7) ((((triple8) -> rule7)) -> rule1)) -> rule6)) -> rule3) triple8) -> rule4) triple8) -> rule2))] @1: Bob is blue.[(((triple1) -> rule7))] Charlie is green.[(((triple2) -> rule1))] Dave is blue.[(((triple5) -> rule7))] Gary is blue.[(((triple8) -> rule7))] Gary is quiet.[(((triple9 triple8) -> rule4) OR ((((((((triple8) -> rule7)) -> rule1) ((((triple8) -> rule7) ((((triple8) -> rule7)) -> rule1)) -> rule6)) -> rule3) triple8) -> rule4))] @2: Bob is green.[(((((triple1) -> rule7)) -> rule1))] Charlie is big.[(((triple2 ((triple2) -> rule1)) -> rule8))] Charlie is furry.[(((((triple2) -> rule1) triple4) -> rule3) OR ((((triple2) -> rule1) ((triple2 ((triple2) -> rule1)) -> rule6)) -> rule3))] Dave is young.[(((((triple5) -> rule7) triple6) -> rule6) OR ((((triple5) -> rule7) ((((triple5) -> rule7)) -> rule1)) -> rule6))] Gary is green.[(((((triple8) -> rule7)) -> rule1) OR ((((triple9 triple8) -> rule4) triple10) -> rule5) OR ((((triple9 triple8) -> rule4) triple10) -> rule9) OR ((((triple9 triple8) -> rule4) ((((triple9 triple8) -> rule4) triple8) -> rule2)) -> rule5) OR ((((triple9 triple8) -> rule4) ((((triple9 triple8) -> rule4) triple8) -> rule2)) -> rule9))] @3: Bob is young.[(((((triple1) -> rule7) ((((triple1) -> rule7)) -> rule1)) -> rule6))] Charlie is rough.[(((triple3 ((triple2 ((triple2) -> rule1)) -> rule8)) -> rule2) OR ((((((((triple2) -> rule1) triple4) -> rule3) ((triple2 ((triple2) -> rule1)) -> rule8)) -> rule4) ((triple2 ((triple2) -> rule1)) -> rule8)) -> rule2) OR ((((((((triple2) -> rule1) ((triple2 ((triple2) -> rule1)) -> rule6)) -> rule3) ((triple2 ((triple2) -> rule1)) -> rule8)) -> rule4) ((triple2 ((triple2) -> rule1)) -> rule8)) -> rule2))] Dave is furry.[(((triple6 ((((triple5) -> rule7) triple6) -> rule6)) -> rule3) OR ((((((triple5) -> rule7)) -> rule1) ((((triple5) -> rule7) triple6) -> rule6)) -> rule3) OR ((triple6 ((((triple5) -> rule7) ((((triple5) -> rule7)) -> rule1)) -> rule6)) -> rule3) OR ((((((triple5) -> rule7)) -> rule1) ((((triple5) -> rule7) ((((triple5) -> rule7)) -> rule1)) -> rule6)) -> rule3))] Gary is young.[(((((triple8) -> rule7) ((((triple8) -> rule7)) -> rule1)) -> rule6) OR ((((triple8) -> rule7) ((((triple9 triple8) -> rule4) triple10) -> rule5)) -> rule6) OR ((((triple8) -> rule7) ((((triple9 triple8) -> rule4) triple10) -> rule9)) -> rule6) OR ((((triple8) -> rule7) ((((triple9 triple8) -> rule4) ((((triple9 triple8) -> rule4) triple8) -> rule2)) -> rule5)) -> rule6) OR ((((triple8) -> rule7) ((((triple9 triple8) -> rule4) ((((triple9 triple8) -> rule4) triple8) -> rule2)) -> rule9)) -> rule6))] @4: Bob is furry.[(((((((triple1) -> rule7)) -> rule1) ((((triple1) -> rule7) ((((triple1) -> rule7)) -> rule1)) -> rule6)) -> rule3))] Dave is quiet.[(((((triple6 ((((triple5) -> rule7) triple6) -> rule6)) -> rule3) triple5) -> rule4) OR ((((((((triple5) -> rule7)) -> rule1) ((((triple5) -> rule7) triple6) -> rule6)) -> rule3) triple5) -> rule4) OR ((((triple6 ((((triple5) -> rule7) ((((triple5) -> rule7)) -> rule1)) -> rule6)) -> rule3) triple5) -> rule4) OR ((((((((triple5) -> rule7)) -> rule1) ((((triple5) -> rule7) ((((triple5) -> rule7)) -> rule1)) -> rule6)) -> rule3) triple5) -> rule4))] @5: Bob is quiet.[(((((((((triple1) -> rule7)) -> rule1) ((((triple1) -> rule7) ((((triple1) -> rule7)) -> rule1)) -> rule6)) -> rule3) triple1) -> rule4))] @6: Bob is rough.[(((((((((((triple1) -> rule7)) -> rule1) ((((triple1) -> rule7) ((((triple1) -> rule7)) -> rule1)) -> rule6)) -> rule3) triple1) -> rule4) triple1) -> rule2))]