Bob is big. Dave is big. Dave is rough. Erin is nice. Erin is white. Gary is nice. Gary is white. Red things are white. All big things are green. All red, white things are nice. All green things are blue. If something is nice then it is big. All blue, green things are rough. All rough things are red. If something is blue then it is nice. If something is red then it is blue.
Bob is red.
@0: Bob is big.[(triple1)] Dave is big.[(triple2 OR ((((((((triple3) -> rule7)) -> rule9)) -> rule8)) -> rule5) OR ((((((triple3) -> rule7) ((((triple3) -> rule7)) -> rule1)) -> rule3)) -> rule5))] Dave is rough.[(triple3 OR ((((((triple2) -> rule2)) -> rule4) ((triple2) -> rule2)) -> rule6))] Erin is nice.[(triple4)] Erin is white.[(triple5 OR ((((((((((((triple4) -> rule5)) -> rule2)) -> rule4) ((((triple4) -> rule5)) -> rule2)) -> rule6)) -> rule7)) -> rule1))] Gary is nice.[(triple6)] Gary is white.[(triple7 OR ((((((((((((triple6) -> rule5)) -> rule2)) -> rule4) ((((triple6) -> rule5)) -> rule2)) -> rule6)) -> rule7)) -> rule1))] @1: Bob is green.[(((triple1) -> rule2))] Dave is green.[(((triple2) -> rule2) OR ((((((((((triple3) -> rule7)) -> rule9)) -> rule8)) -> rule5)) -> rule2) OR ((((((((triple3) -> rule7) ((((triple3) -> rule7)) -> rule1)) -> rule3)) -> rule5)) -> rule2))] Dave is red.[(((triple3) -> rule7) OR ((((((((triple2) -> rule2)) -> rule4) ((triple2) -> rule2)) -> rule6)) -> rule7))] Erin is big.[(((triple4) -> rule5))] Gary is big.[(((triple6) -> rule5))] @2: Bob is blue.[(((((triple1) -> rule2)) -> rule4))] Dave is blue.[(((((triple2) -> rule2)) -> rule4) OR ((((triple3) -> rule7)) -> rule9) OR ((((((((((triple3) -> rule7) ((((triple3) -> rule7)) -> rule1)) -> rule3)) -> rule5)) -> rule2)) -> rule4))] Dave is white.[(((((triple3) -> rule7)) -> rule1) OR ((((((((((triple2) -> rule2)) -> rule4) ((triple2) -> rule2)) -> rule6)) -> rule7)) -> rule1))] Erin is green.[(((((triple4) -> rule5)) -> rule2))] Gary is green.[(((((triple6) -> rule5)) -> rule2))] @3: Bob is nice.[(((((((triple1) -> rule2)) -> rule4)) -> rule8) OR ((((((((((triple1) -> rule2)) -> rule4) ((triple1) -> rule2)) -> rule6)) -> rule7) ((((((((((triple1) -> rule2)) -> rule4) ((triple1) -> rule2)) -> rule6)) -> rule7)) -> rule1)) -> rule3))] Bob is rough.[(((((((triple1) -> rule2)) -> rule4) ((triple1) -> rule2)) -> rule6))] Dave is nice.[(((((((triple2) -> rule2)) -> rule4)) -> rule8) OR ((((((triple3) -> rule7)) -> rule9)) -> rule8) OR ((((triple3) -> rule7) ((((triple3) -> rule7)) -> rule1)) -> rule3) OR ((((((((((triple2) -> rule2)) -> rule4) ((triple2) -> rule2)) -> rule6)) -> rule7) ((((triple3) -> rule7)) -> rule1)) -> rule3) OR ((((triple3) -> rule7) ((((((((((triple2) -> rule2)) -> rule4) ((triple2) -> rule2)) -> rule6)) -> rule7)) -> rule1)) -> rule3) OR ((((((((((triple2) -> rule2)) -> rule4) ((triple2) -> rule2)) -> rule6)) -> rule7) ((((((((((triple2) -> rule2)) -> rule4) ((triple2) -> rule2)) -> rule6)) -> rule7)) -> rule1)) -> rule3))] Erin is blue.[(((((((triple4) -> rule5)) -> rule2)) -> rule4))] Gary is blue.[(((((((triple6) -> rule5)) -> rule2)) -> rule4))] @4: Bob is red.[(((((((((triple1) -> rule2)) -> rule4) ((triple1) -> rule2)) -> rule6)) -> rule7))] Erin is rough.[(((((((((triple4) -> rule5)) -> rule2)) -> rule4) ((((triple4) -> rule5)) -> rule2)) -> rule6))] Gary is rough.[(((((((((triple6) -> rule5)) -> rule2)) -> rule4) ((((triple6) -> rule5)) -> rule2)) -> rule6))] @5: Bob is white.[(((((((((((triple1) -> rule2)) -> rule4) ((triple1) -> rule2)) -> rule6)) -> rule7)) -> rule1))] Erin is red.[(((((((((((triple4) -> rule5)) -> rule2)) -> rule4) ((((triple4) -> rule5)) -> rule2)) -> rule6)) -> rule7))] Gary is red.[(((((((((((triple6) -> rule5)) -> rule2)) -> rule4) ((((triple6) -> rule5)) -> rule2)) -> rule6)) -> rule7))]