Bob is furry. Bob is green. Bob is nice. Bob is quiet. Bob is red. Bob is rough. Bob is white. Erin is rough. Erin is white. Gary is furry. Gary is nice. Gary is quiet. Gary is red. Gary is rough. Harry is rough. Harry is white. If Bob is furry then Bob is quiet. All white things are quiet. Nice things are quiet. If something is nice and green then it is rough. If something is quiet then it is green. If something is green and nice then it is furry. If Gary is white and Gary is nice then Gary is rough. All white, green things are nice. Green, furry things are red.
Harry is green.
@0: Bob is furry.[(triple1 OR ((triple2 triple3) -> rule6) OR ((triple2 ((triple7 triple2) -> rule8)) -> rule6) OR ((((triple4) -> rule5) triple3) -> rule6) OR ((((triple4) -> rule5) ((triple7 triple2) -> rule8)) -> rule6) OR ((triple2 ((triple7 ((triple4) -> rule5)) -> rule8)) -> rule6) OR ((((((triple3) -> rule3)) -> rule5) triple3) -> rule6) OR ((((((triple7) -> rule2)) -> rule5) triple3) -> rule6) OR ((((triple4) -> rule5) ((triple7 ((triple4) -> rule5)) -> rule8)) -> rule6) OR ((((((triple3) -> rule3)) -> rule5) ((triple7 triple2) -> rule8)) -> rule6) OR ((((((triple7) -> rule2)) -> rule5) ((triple7 triple2) -> rule8)) -> rule6) OR ((((((triple3) -> rule3)) -> rule5) ((triple7 ((triple4) -> rule5)) -> rule8)) -> rule6) OR ((((((triple7) -> rule2)) -> rule5) ((triple7 ((triple4) -> rule5)) -> rule8)) -> rule6) OR ((triple2 ((triple7 ((((triple7) -> rule2)) -> rule5)) -> rule8)) -> rule6) OR ((((triple4) -> rule5) ((triple7 ((((triple7) -> rule2)) -> rule5)) -> rule8)) -> rule6) OR ((((((triple3) -> rule3)) -> rule5) ((triple7 ((((triple7) -> rule2)) -> rule5)) -> rule8)) -> rule6) OR ((((((triple7) -> rule2)) -> rule5) ((triple7 ((((triple7) -> rule2)) -> rule5)) -> rule8)) -> rule6))] Bob is green.[(triple2 OR ((triple4) -> rule5) OR ((((triple1) -> rule1)) -> rule5) OR ((((triple3) -> rule3)) -> rule5) OR ((((triple7) -> rule2)) -> rule5))] Bob is nice.[(triple3 OR ((triple7 triple2) -> rule8) OR ((triple7 ((triple4) -> rule5)) -> rule8) OR ((triple7 ((((triple1) -> rule1)) -> rule5)) -> rule8) OR ((triple7 ((((triple7) -> rule2)) -> rule5)) -> rule8))] Bob is quiet.[(triple4 OR ((triple1) -> rule1) OR ((triple3) -> rule3) OR ((triple7) -> rule2) OR ((((triple2 triple3) -> rule6)) -> rule1) OR ((((triple7 triple2) -> rule8)) -> rule3) OR ((((triple2 ((triple7 triple2) -> rule8)) -> rule6)) -> rule1))] Bob is red.[(triple5 OR ((triple2 triple1) -> rule9) OR ((triple2 ((triple2 triple3) -> rule6)) -> rule9) OR ((((triple4) -> rule5) triple1) -> rule9) OR ((((triple4) -> rule5) ((triple2 triple3) -> rule6)) -> rule9) OR ((triple2 ((triple2 ((triple7 triple2) -> rule8)) -> rule6)) -> rule9) OR ((triple2 ((((triple4) -> rule5) triple3) -> rule6)) -> rule9) OR ((((((triple1) -> rule1)) -> rule5) triple1) -> rule9) OR ((((((triple3) -> rule3)) -> rule5) triple1) -> rule9) OR ((((((triple7) -> rule2)) -> rule5) triple1) -> rule9) OR ((triple2 ((((triple4) -> rule5) ((triple7 triple2) -> rule8)) -> rule6)) -> rule9) OR ((((triple4) -> rule5) ((triple2 ((triple7 triple2) -> rule8)) -> rule6)) -> rule9) OR ((((triple4) -> rule5) ((((triple4) -> rule5) triple3) -> rule6)) -> rule9) OR ((((((triple1) -> rule1)) -> rule5) ((triple2 triple3) -> rule6)) -> rule9) OR ((((((triple3) -> rule3)) -> rule5) ((triple2 triple3) -> rule6)) -> rule9) OR ((((((triple7) -> rule2)) -> rule5) ((triple2 triple3) -> rule6)) -> rule9) OR ((((triple4) -> rule5) ((((triple4) -> rule5) ((triple7 triple2) -> rule8)) -> rule6)) -> rule9) OR ((((((triple1) -> rule1)) -> rule5) ((triple2 ((triple7 triple2) -> rule8)) -> rule6)) -> rule9) OR ((((((triple1) -> rule1)) -> rule5) ((((triple4) -> rule5) triple3) -> rule6)) -> rule9) OR ((((((triple3) -> rule3)) -> rule5) ((triple2 ((triple7 triple2) -> rule8)) -> rule6)) -> rule9) OR ((((((triple3) -> rule3)) -> rule5) ((((triple4) -> rule5) triple3) -> rule6)) -> rule9) OR ((((((triple7) -> rule2)) -> rule5) ((triple2 ((triple7 triple2) -> rule8)) -> rule6)) -> rule9) OR ((((((triple7) -> rule2)) -> rule5) ((((triple4) -> rule5) triple3) -> rule6)) -> rule9) OR ((((((triple1) -> rule1)) -> rule5) ((((triple4) -> rule5) ((triple7 triple2) -> rule8)) -> rule6)) -> rule9) OR ((((((triple3) -> rule3)) -> rule5) ((((triple4) -> rule5) ((triple7 triple2) -> rule8)) -> rule6)) -> rule9) OR ((((((triple7) -> rule2)) -> rule5) ((((triple4) -> rule5) ((triple7 triple2) -> rule8)) -> rule6)) -> rule9) OR ((triple2 ((triple2 ((triple7 ((triple4) -> rule5)) -> rule8)) -> rule6)) -> rule9) OR ((triple2 ((((((triple3) -> rule3)) -> rule5) triple3) -> rule6)) -> rule9) OR ((triple2 ((((((triple7) -> rule2)) -> rule5) triple3) -> rule6)) -> rule9) OR ((triple2 ((((triple4) -> rule5) ((triple7 ((triple4) -> rule5)) -> rule8)) -> rule6)) -> rule9) OR ((triple2 ((((((triple3) -> rule3)) -> rule5) ((triple7 triple2) -> rule8)) -> rule6)) -> rule9) OR ((triple2 ((((((triple7) -> rule2)) -> rule5) ((triple7 triple2) -> rule8)) -> rule6)) -> rule9) OR ((((triple4) -> rule5) ((triple2 ((triple7 ((triple4) -> rule5)) -> rule8)) -> rule6)) -> rule9) OR ((((triple4) -> rule5) ((((((triple3) -> rule3)) -> rule5) triple3) -> rule6)) -> rule9) OR ((((triple4) -> rule5) ((((((triple7) -> rule2)) -> rule5) triple3) -> rule6)) -> rule9) OR ((triple2 ((((((triple3) -> rule3)) -> rule5) ((triple7 ((triple4) -> rule5)) -> rule8)) -> rule6)) -> rule9) OR ((triple2 ((((((triple7) -> rule2)) -> rule5) ((triple7 ((triple4) -> rule5)) -> rule8)) -> rule6)) -> rule9) OR ((((triple4) -> rule5) ((((triple4) -> rule5) ((triple7 ((triple4) -> rule5)) -> rule8)) -> rule6)) -> rule9) OR ((((triple4) -> rule5) ((((((triple3) -> rule3)) -> rule5) ((triple7 triple2) -> rule8)) -> rule6)) -> rule9) OR ((((triple4) -> rule5) ((((((triple7) -> rule2)) -> rule5) ((triple7 triple2) -> rule8)) -> rule6)) -> rule9) OR ((((((triple1) -> rule1)) -> rule5) ((triple2 ((triple7 ((triple4) -> rule5)) -> rule8)) -> rule6)) -> rule9) OR ((((((triple1) -> rule1)) -> rule5) ((((((triple3) -> rule3)) -> rule5) triple3) -> rule6)) -> rule9) OR ((((((triple1) -> rule1)) -> rule5) ((((((triple7) -> rule2)) -> rule5) triple3) -> rule6)) -> rule9) OR ((((((triple3) -> rule3)) -> rule5) ((triple2 ((triple7 ((triple4) -> rule5)) -> rule8)) -> rule6)) -> rule9) OR ((((((triple3) -> rule3)) -> rule5) ((((((triple3) -> rule3)) -> rule5) triple3) -> rule6)) -> rule9) OR ((((((triple3) -> rule3)) -> rule5) ((((((triple7) -> rule2)) -> rule5) triple3) -> rule6)) -> rule9) OR ((((((triple7) -> rule2)) -> rule5) ((triple2 ((triple7 ((triple4) -> rule5)) -> rule8)) -> rule6)) -> rule9) OR ((((((triple7) -> rule2)) -> rule5) ((((((triple3) -> rule3)) -> rule5) triple3) -> rule6)) -> rule9) OR ((((((triple7) -> rule2)) -> rule5) ((((((triple7) -> rule2)) -> rule5) triple3) -> rule6)) -> rule9) OR ((((triple4) -> rule5) ((((((triple3) -> rule3)) -> rule5) ((triple7 ((triple4) -> rule5)) -> rule8)) -> rule6)) -> rule9) OR ((((triple4) -> rule5) ((((((triple7) -> rule2)) -> rule5) ((triple7 ((triple4) -> rule5)) -> rule8)) -> rule6)) -> rule9) OR ((((((triple1) -> rule1)) -> rule5) ((((triple4) -> rule5) ((triple7 ((triple4) -> rule5)) -> rule8)) -> rule6)) -> rule9) OR ((((((triple1) -> rule1)) -> rule5) ((((((triple3) -> rule3)) -> rule5) ((triple7 triple2) -> rule8)) -> rule6)) -> rule9) OR ((((((triple1) -> rule1)) -> rule5) ((((((triple7) -> rule2)) -> rule5) ((triple7 triple2) -> rule8)) -> rule6)) -> rule9) OR ((((((triple3) -> rule3)) -> rule5) ((((triple4) -> rule5) ((triple7 ((triple4) -> rule5)) -> rule8)) -> rule6)) -> rule9) OR ((((((triple3) -> rule3)) -> rule5) ((((((triple3) -> rule3)) -> rule5) ((triple7 triple2) -> rule8)) -> rule6)) -> rule9) OR ((((((triple3) -> rule3)) -> rule5) ((((((triple7) -> rule2)) -> rule5) ((triple7 triple2) -> rule8)) -> rule6)) -> rule9) OR ((((((triple7) -> rule2)) -> rule5) ((((triple4) -> rule5) ((triple7 ((triple4) -> rule5)) -> rule8)) -> rule6)) -> rule9) OR ((((((triple7) -> rule2)) -> rule5) ((((((triple3) -> rule3)) -> rule5) ((triple7 triple2) -> rule8)) -> rule6)) -> rule9) OR ((((((triple7) -> rule2)) -> rule5) ((((((triple7) -> rule2)) -> rule5) ((triple7 triple2) -> rule8)) -> rule6)) -> rule9) OR ((((((triple1) -> rule1)) -> rule5) ((((((triple3) -> rule3)) -> rule5) ((triple7 ((triple4) -> rule5)) -> rule8)) -> rule6)) -> rule9) OR ((((((triple1) -> rule1)) -> rule5) ((((((triple7) -> rule2)) -> rule5) ((triple7 ((triple4) -> rule5)) -> rule8)) -> rule6)) -> rule9) OR ((((((triple3) -> rule3)) -> rule5) ((((((triple3) -> rule3)) -> rule5) ((triple7 ((triple4) -> rule5)) -> rule8)) -> rule6)) -> rule9) OR ((((((triple3) -> rule3)) -> rule5) ((((((triple7) -> rule2)) -> rule5) ((triple7 ((triple4) -> rule5)) -> rule8)) -> rule6)) -> rule9) OR ((((((triple7) -> rule2)) -> rule5) ((((((triple3) -> rule3)) -> rule5) ((triple7 ((triple4) -> rule5)) -> rule8)) -> rule6)) -> rule9) OR ((((((triple7) -> rule2)) -> rule5) ((((((triple7) -> rule2)) -> rule5) ((triple7 ((triple4) -> rule5)) -> rule8)) -> rule6)) -> rule9) OR ((triple2 ((triple2 ((triple7 ((((triple7) -> rule2)) -> rule5)) -> rule8)) -> rule6)) -> rule9) OR ((triple2 ((((triple4) -> rule5) ((triple7 ((((triple7) -> rule2)) -> rule5)) -> rule8)) -> rule6)) -> rule9) OR ((((triple4) -> rule5) ((triple2 ((triple7 ((((triple7) -> rule2)) -> rule5)) -> rule8)) -> rule6)) -> rule9) OR ((triple2 ((((((triple3) -> rule3)) -> rule5) ((triple7 ((((triple7) -> rule2)) -> rule5)) -> rule8)) -> rule6)) -> rule9) OR ((triple2 ((((((triple7) -> rule2)) -> rule5) ((triple7 ((((triple7) -> rule2)) -> rule5)) -> rule8)) -> rule6)) -> rule9) OR ((((triple4) -> rule5) ((((triple4) -> rule5) ((triple7 ((((triple7) -> rule2)) -> rule5)) -> rule8)) -> rule6)) -> rule9) OR ((((((triple1) -> rule1)) -> rule5) ((triple2 ((triple7 ((((triple7) -> rule2)) -> rule5)) -> rule8)) -> rule6)) -> rule9) OR ((((((triple3) -> rule3)) -> rule5) ((triple2 ((triple7 ((((triple7) -> rule2)) -> rule5)) -> rule8)) -> rule6)) -> rule9) OR ((((((triple7) -> rule2)) -> rule5) ((triple2 ((triple7 ((((triple7) -> rule2)) -> rule5)) -> rule8)) -> rule6)) -> rule9) OR ((((triple4) -> rule5) ((((((triple3) -> rule3)) -> rule5) ((triple7 ((((triple7) -> rule2)) -> rule5)) -> rule8)) -> rule6)) -> rule9) OR ((((triple4) -> rule5) ((((((triple7) -> rule2)) -> rule5) ((triple7 ((((triple7) -> rule2)) -> rule5)) -> rule8)) -> rule6)) -> rule9) OR ((((((triple1) -> rule1)) -> rule5) ((((triple4) -> rule5) ((triple7 ((((triple7) -> rule2)) -> rule5)) -> rule8)) -> rule6)) -> rule9) OR ((((((triple3) -> rule3)) -> rule5) ((((triple4) -> rule5) ((triple7 ((((triple7) -> rule2)) -> rule5)) -> rule8)) -> rule6)) -> rule9) OR ((((((triple7) -> rule2)) -> rule5) ((((triple4) -> rule5) ((triple7 ((((triple7) -> rule2)) -> rule5)) -> rule8)) -> rule6)) -> rule9) OR ((((((triple1) -> rule1)) -> rule5) ((((((triple3) -> rule3)) -> rule5) ((triple7 ((((triple7) -> rule2)) -> rule5)) -> rule8)) -> rule6)) -> rule9) OR ((((((triple1) -> rule1)) -> rule5) ((((((triple7) -> rule2)) -> rule5) ((triple7 ((((triple7) -> rule2)) -> rule5)) -> rule8)) -> rule6)) -> rule9) OR ((((((triple3) -> rule3)) -> rule5) ((((((triple3) -> rule3)) -> rule5) ((triple7 ((((triple7) -> rule2)) -> rule5)) -> rule8)) -> rule6)) -> rule9) OR ((((((triple3) -> rule3)) -> rule5) ((((((triple7) -> rule2)) -> rule5) ((triple7 ((((triple7) -> rule2)) -> rule5)) -> rule8)) -> rule6)) -> rule9) OR ((((((triple7) -> rule2)) -> rule5) ((((((triple3) -> rule3)) -> rule5) ((triple7 ((((triple7) -> rule2)) -> rule5)) -> rule8)) -> rule6)) -> rule9) OR ((((((triple7) -> rule2)) -> rule5) ((((((triple7) -> rule2)) -> rule5) ((triple7 ((((triple7) -> rule2)) -> rule5)) -> rule8)) -> rule6)) -> rule9))] Bob is rough.[(triple6 OR ((triple3 triple2) -> rule4) OR ((triple3 ((triple4) -> rule5)) -> rule4) OR ((((triple7 triple2) -> rule8) triple2) -> rule4) OR ((((triple7 triple2) -> rule8) ((triple4) -> rule5)) -> rule4) OR ((triple3 ((((triple1) -> rule1)) -> rule5)) -> rule4) OR ((triple3 ((((triple3) -> rule3)) -> rule5)) -> rule4) OR ((triple3 ((((triple7) -> rule2)) -> rule5)) -> rule4) OR ((((triple7 ((triple4) -> rule5)) -> rule8) triple2) -> rule4) OR ((((triple7 triple2) -> rule8) ((((triple1) -> rule1)) -> rule5)) -> rule4) OR ((((triple7 triple2) -> rule8) ((((triple3) -> rule3)) -> rule5)) -> rule4) OR ((((triple7 triple2) -> rule8) ((((triple7) -> rule2)) -> rule5)) -> rule4) OR ((((triple7 ((triple4) -> rule5)) -> rule8) ((triple4) -> rule5)) -> rule4) OR ((((triple7 ((triple4) -> rule5)) -> rule8) ((((triple1) -> rule1)) -> rule5)) -> rule4) OR ((((triple7 ((triple4) -> rule5)) -> rule8) ((((triple3) -> rule3)) -> rule5)) -> rule4) OR ((((triple7 ((triple4) -> rule5)) -> rule8) ((((triple7) -> rule2)) -> rule5)) -> rule4) OR ((((triple7 ((((triple1) -> rule1)) -> rule5)) -> rule8) triple2) -> rule4) OR ((((triple7 ((((triple7) -> rule2)) -> rule5)) -> rule8) triple2) -> rule4) OR ((((triple7 ((((triple1) -> rule1)) -> rule5)) -> rule8) ((triple4) -> rule5)) -> rule4) OR ((((triple7 ((((triple7) -> rule2)) -> rule5)) -> rule8) ((triple4) -> rule5)) -> rule4) OR ((((triple7 ((((triple1) -> rule1)) -> rule5)) -> rule8) ((((triple1) -> rule1)) -> rule5)) -> rule4) OR ((((triple7 ((((triple1) -> rule1)) -> rule5)) -> rule8) ((((triple3) -> rule3)) -> rule5)) -> rule4) OR ((((triple7 ((((triple1) -> rule1)) -> rule5)) -> rule8) ((((triple7) -> rule2)) -> rule5)) -> rule4) OR ((((triple7 ((((triple7) -> rule2)) -> rule5)) -> rule8) ((((triple1) -> rule1)) -> rule5)) -> rule4) OR ((((triple7 ((((triple7) -> rule2)) -> rule5)) -> rule8) ((((triple3) -> rule3)) -> rule5)) -> rule4) OR ((((triple7 ((((triple7) -> rule2)) -> rule5)) -> rule8) ((((triple7) -> rule2)) -> rule5)) -> rule4))] Bob is white.[(triple7)] Erin is rough.[(triple8 OR ((((triple9 ((((triple9) -> rule2)) -> rule5)) -> rule8) ((((triple9) -> rule2)) -> rule5)) -> rule4))] Erin is white.[(triple9)] Gary is furry.[(triple10 OR ((((triple12) -> rule5) triple11) -> rule6) OR ((((((triple11) -> rule3)) -> rule5) triple11) -> rule6))] Gary is nice.[(triple11)] Gary is quiet.[(triple12 OR ((triple11) -> rule3))] Gary is red.[(triple13 OR ((((triple12) -> rule5) triple10) -> rule9) OR ((((((triple11) -> rule3)) -> rule5) triple10) -> rule9) OR ((((triple12) -> rule5) ((((triple12) -> rule5) triple11) -> rule6)) -> rule9) OR ((((((triple11) -> rule3)) -> rule5) ((((triple12) -> rule5) triple11) -> rule6)) -> rule9) OR ((((triple12) -> rule5) ((((((triple11) -> rule3)) -> rule5) triple11) -> rule6)) -> rule9) OR ((((((triple11) -> rule3)) -> rule5) ((((((triple11) -> rule3)) -> rule5) triple11) -> rule6)) -> rule9))] Gary is rough.[(triple14 OR ((triple11 ((triple12) -> rule5)) -> rule4) OR ((triple11 ((((triple11) -> rule3)) -> rule5)) -> rule4))] Harry is rough.[(triple15 OR ((((triple16 ((((triple16) -> rule2)) -> rule5)) -> rule8) ((((triple16) -> rule2)) -> rule5)) -> rule4))] Harry is white.[(triple16)] @1: Erin is quiet.[(((triple9) -> rule2))] Gary is green.[(((triple12) -> rule5) OR ((((triple11) -> rule3)) -> rule5))] Harry is quiet.[(((triple16) -> rule2))] @2: Erin is green.[(((((triple9) -> rule2)) -> rule5))] Harry is green.[(((((triple16) -> rule2)) -> rule5))] @3: Erin is nice.[(((triple9 ((((triple9) -> rule2)) -> rule5)) -> rule8))] Harry is nice.[(((triple16 ((((triple16) -> rule2)) -> rule5)) -> rule8))] @4: Erin is furry.[(((((((triple9) -> rule2)) -> rule5) ((triple9 ((((triple9) -> rule2)) -> rule5)) -> rule8)) -> rule6))] Harry is furry.[(((((((triple16) -> rule2)) -> rule5) ((triple16 ((((triple16) -> rule2)) -> rule5)) -> rule8)) -> rule6))] @5: Erin is red.[(((((((triple9) -> rule2)) -> rule5) ((((((triple9) -> rule2)) -> rule5) ((triple9 ((((triple9) -> rule2)) -> rule5)) -> rule8)) -> rule6)) -> rule9))] Harry is red.[(((((((triple16) -> rule2)) -> rule5) ((((((triple16) -> rule2)) -> rule5) ((triple16 ((((triple16) -> rule2)) -> rule5)) -> rule8)) -> rule6)) -> rule9))]