Anne is green. Anne is nice. Anne is red. Anne is smart. Anne is white. Bob is green. Bob is nice. Bob is round. Bob is white. Dave is round. Gary is green. Gary is nice. Gary is red. Gary is white. Green, red things are smart. Round things are cold. Cold, smart things are round. All smart things are cold. Red, white things are nice. All cold, round things are green. White, green things are red. All green things are smart. All smart things are white.
Gary is smart.
@0: Anne is green.[(triple1 OR ((((triple4) -> rule4) ((((triple4) -> rule4) triple4) -> rule3)) -> rule6))] Anne is nice.[(triple2 OR ((triple3 triple5) -> rule5) OR ((triple3 ((triple4) -> rule9)) -> rule5) OR ((((triple5 triple1) -> rule7) triple5) -> rule5) OR ((((triple5 triple1) -> rule7) ((triple4) -> rule9)) -> rule5) OR ((triple3 ((((triple1) -> rule8)) -> rule9)) -> rule5) OR ((triple3 ((((triple1 triple3) -> rule1)) -> rule9)) -> rule5) OR ((((((triple4) -> rule9) triple1) -> rule7) triple5) -> rule5) OR ((((triple5 triple1) -> rule7) ((((triple1) -> rule8)) -> rule9)) -> rule5) OR ((((triple5 triple1) -> rule7) ((((triple1 triple3) -> rule1)) -> rule9)) -> rule5) OR ((((((triple4) -> rule9) triple1) -> rule7) ((triple4) -> rule9)) -> rule5) OR ((((((triple4) -> rule9) triple1) -> rule7) ((((triple1) -> rule8)) -> rule9)) -> rule5) OR ((((((triple4) -> rule9) triple1) -> rule7) ((((triple1 triple3) -> rule1)) -> rule9)) -> rule5) OR ((((((((triple1) -> rule8)) -> rule9) triple1) -> rule7) triple5) -> rule5) OR ((((((((triple1) -> rule8)) -> rule9) triple1) -> rule7) ((triple4) -> rule9)) -> rule5) OR ((((((((triple1) -> rule8)) -> rule9) triple1) -> rule7) ((((triple1) -> rule8)) -> rule9)) -> rule5) OR ((((((((triple1) -> rule8)) -> rule9) triple1) -> rule7) ((((triple1 triple3) -> rule1)) -> rule9)) -> rule5) OR ((((triple5 ((((triple4) -> rule4) ((((triple4) -> rule4) triple4) -> rule3)) -> rule6)) -> rule7) triple5) -> rule5) OR ((((triple5 ((((triple4) -> rule4) ((((triple4) -> rule4) triple4) -> rule3)) -> rule6)) -> rule7) ((triple4) -> rule9)) -> rule5) OR ((((((triple4) -> rule9) ((((triple4) -> rule4) ((((triple4) -> rule4) triple4) -> rule3)) -> rule6)) -> rule7) triple5) -> rule5) OR ((((triple5 ((((triple4) -> rule4) ((((triple4) -> rule4) triple4) -> rule3)) -> rule6)) -> rule7) ((((triple1) -> rule8)) -> rule9)) -> rule5) OR ((((triple5 ((((triple4) -> rule4) ((((triple4) -> rule4) triple4) -> rule3)) -> rule6)) -> rule7) ((((triple1 triple3) -> rule1)) -> rule9)) -> rule5) OR ((((((triple4) -> rule9) ((((triple4) -> rule4) ((((triple4) -> rule4) triple4) -> rule3)) -> rule6)) -> rule7) ((triple4) -> rule9)) -> rule5) OR ((((((((triple1) -> rule8)) -> rule9) ((((triple4) -> rule4) ((((triple4) -> rule4) triple4) -> rule3)) -> rule6)) -> rule7) triple5) -> rule5) OR ((((((triple4) -> rule9) ((((triple4) -> rule4) ((((triple4) -> rule4) triple4) -> rule3)) -> rule6)) -> rule7) ((((triple1) -> rule8)) -> rule9)) -> rule5) OR ((((((triple4) -> rule9) ((((triple4) -> rule4) ((((triple4) -> rule4) triple4) -> rule3)) -> rule6)) -> rule7) ((((triple1 triple3) -> rule1)) -> rule9)) -> rule5) OR ((((((((triple1) -> rule8)) -> rule9) ((((triple4) -> rule4) ((((triple4) -> rule4) triple4) -> rule3)) -> rule6)) -> rule7) ((triple4) -> rule9)) -> rule5) OR ((((((((triple1) -> rule8)) -> rule9) ((((triple4) -> rule4) ((((triple4) -> rule4) triple4) -> rule3)) -> rule6)) -> rule7) ((((triple1) -> rule8)) -> rule9)) -> rule5) OR ((((((((triple1) -> rule8)) -> rule9) ((((triple4) -> rule4) ((((triple4) -> rule4) triple4) -> rule3)) -> rule6)) -> rule7) ((((triple1 triple3) -> rule1)) -> rule9)) -> rule5))] Anne is red.[(triple3 OR ((triple5 triple1) -> rule7) OR ((((triple4) -> rule9) triple1) -> rule7) OR ((((((triple1) -> rule8)) -> rule9) triple1) -> rule7) OR ((triple5 ((((triple4) -> rule4) ((((triple4) -> rule4) triple4) -> rule3)) -> rule6)) -> rule7) OR ((((triple4) -> rule9) ((((triple4) -> rule4) ((((triple4) -> rule4) triple4) -> rule3)) -> rule6)) -> rule7) OR ((((((triple1) -> rule8)) -> rule9) ((((triple4) -> rule4) ((((triple4) -> rule4) triple4) -> rule3)) -> rule6)) -> rule7))] Anne is smart.[(triple4 OR ((triple1) -> rule8) OR ((triple1 triple3) -> rule1) OR ((triple1 ((triple5 triple1) -> rule7)) -> rule1))] Anne is white.[(triple5 OR ((triple4) -> rule9) OR ((((triple1) -> rule8)) -> rule9) OR ((((triple1 triple3) -> rule1)) -> rule9))] Bob is green.[(triple6 OR ((((triple8) -> rule2) triple8) -> rule6))] Bob is nice.[(triple7 OR ((((triple9 triple6) -> rule7) triple9) -> rule5) OR ((((triple9 triple6) -> rule7) ((((triple6) -> rule8)) -> rule9)) -> rule5) OR ((((triple9 ((((triple8) -> rule2) triple8) -> rule6)) -> rule7) triple9) -> rule5) OR ((((((((triple6) -> rule8)) -> rule9) triple6) -> rule7) triple9) -> rule5) OR ((((triple9 ((((triple8) -> rule2) triple8) -> rule6)) -> rule7) ((((triple6) -> rule8)) -> rule9)) -> rule5) OR ((((((((triple6) -> rule8)) -> rule9) triple6) -> rule7) ((((triple6) -> rule8)) -> rule9)) -> rule5) OR ((((((((triple6) -> rule8)) -> rule9) ((((triple8) -> rule2) triple8) -> rule6)) -> rule7) triple9) -> rule5) OR ((((((((triple6) -> rule8)) -> rule9) ((((triple8) -> rule2) triple8) -> rule6)) -> rule7) ((((triple6) -> rule8)) -> rule9)) -> rule5) OR ((((triple9 triple6) -> rule7) ((((((((triple8) -> rule2) triple8) -> rule6)) -> rule8)) -> rule9)) -> rule5) OR ((((triple9 ((((triple8) -> rule2) triple8) -> rule6)) -> rule7) ((((((((triple8) -> rule2) triple8) -> rule6)) -> rule8)) -> rule9)) -> rule5) OR ((((((((triple6) -> rule8)) -> rule9) triple6) -> rule7) ((((((((triple8) -> rule2) triple8) -> rule6)) -> rule8)) -> rule9)) -> rule5) OR ((((((((triple6) -> rule8)) -> rule9) ((((triple8) -> rule2) triple8) -> rule6)) -> rule7) ((((((((triple8) -> rule2) triple8) -> rule6)) -> rule8)) -> rule9)) -> rule5) OR ((((((((((((triple8) -> rule2) triple8) -> rule6)) -> rule8)) -> rule9) triple6) -> rule7) triple9) -> rule5) OR ((((((((((((triple8) -> rule2) triple8) -> rule6)) -> rule8)) -> rule9) triple6) -> rule7) ((((triple6) -> rule8)) -> rule9)) -> rule5) OR ((((((((((((triple8) -> rule2) triple8) -> rule6)) -> rule8)) -> rule9) ((((triple8) -> rule2) triple8) -> rule6)) -> rule7) triple9) -> rule5) OR ((((((((((((triple8) -> rule2) triple8) -> rule6)) -> rule8)) -> rule9) triple6) -> rule7) ((((((((triple8) -> rule2) triple8) -> rule6)) -> rule8)) -> rule9)) -> rule5) OR ((((((((((((triple8) -> rule2) triple8) -> rule6)) -> rule8)) -> rule9) ((((triple8) -> rule2) triple8) -> rule6)) -> rule7) ((((triple6) -> rule8)) -> rule9)) -> rule5) OR ((((((((((((triple8) -> rule2) triple8) -> rule6)) -> rule8)) -> rule9) ((((triple8) -> rule2) triple8) -> rule6)) -> rule7) ((((((((triple8) -> rule2) triple8) -> rule6)) -> rule8)) -> rule9)) -> rule5))] Bob is round.[(triple8 OR ((((((triple6) -> rule8)) -> rule4) ((triple6) -> rule8)) -> rule3) OR ((((((triple6) -> rule8)) -> rule4) ((triple6 ((triple9 triple6) -> rule7)) -> rule1)) -> rule3) OR ((((((triple6 ((triple9 triple6) -> rule7)) -> rule1)) -> rule4) ((triple6) -> rule8)) -> rule3) OR ((((((triple6 ((triple9 triple6) -> rule7)) -> rule1)) -> rule4) ((triple6 ((triple9 triple6) -> rule7)) -> rule1)) -> rule3))] Bob is white.[(triple9 OR ((((triple6) -> rule8)) -> rule9) OR ((((((((triple8) -> rule2) triple8) -> rule6)) -> rule8)) -> rule9))] Dave is round.[(triple10)] Gary is green.[(triple11)] Gary is nice.[(triple12 OR ((triple13 triple14) -> rule5) OR ((((triple14 triple11) -> rule7) triple14) -> rule5) OR ((triple13 ((((triple11) -> rule8)) -> rule9)) -> rule5) OR ((triple13 ((((triple11 triple13) -> rule1)) -> rule9)) -> rule5) OR ((((triple14 triple11) -> rule7) ((((triple11) -> rule8)) -> rule9)) -> rule5) OR ((((triple14 triple11) -> rule7) ((((triple11 triple13) -> rule1)) -> rule9)) -> rule5) OR ((((((((triple11) -> rule8)) -> rule9) triple11) -> rule7) triple14) -> rule5) OR ((((((((triple11) -> rule8)) -> rule9) triple11) -> rule7) ((((triple11) -> rule8)) -> rule9)) -> rule5) OR ((((((((triple11) -> rule8)) -> rule9) triple11) -> rule7) ((((triple11 triple13) -> rule1)) -> rule9)) -> rule5))] Gary is red.[(triple13 OR ((triple14 triple11) -> rule7) OR ((((((triple11) -> rule8)) -> rule9) triple11) -> rule7))] Gary is white.[(triple14 OR ((((triple11) -> rule8)) -> rule9) OR ((((triple11 triple13) -> rule1)) -> rule9))] @1: Anne is cold.[(((triple4) -> rule4) OR ((((triple1) -> rule8)) -> rule4) OR ((((triple1 triple3) -> rule1)) -> rule4) OR ((((triple1 ((triple5 triple1) -> rule7)) -> rule1)) -> rule4))] Bob is cold.[(((triple8) -> rule2) OR ((((triple6) -> rule8)) -> rule4) OR ((((triple6 ((triple9 triple6) -> rule7)) -> rule1)) -> rule4))] Bob is red.[(((triple9 triple6) -> rule7) OR ((triple9 ((((triple8) -> rule2) triple8) -> rule6)) -> rule7) OR ((((((triple6) -> rule8)) -> rule9) triple6) -> rule7) OR ((((((triple6) -> rule8)) -> rule9) ((((triple8) -> rule2) triple8) -> rule6)) -> rule7) OR ((((((((((triple8) -> rule2) triple8) -> rule6)) -> rule8)) -> rule9) triple6) -> rule7) OR ((((((((((triple8) -> rule2) triple8) -> rule6)) -> rule8)) -> rule9) ((((triple8) -> rule2) triple8) -> rule6)) -> rule7))] Bob is smart.[(((triple6) -> rule8) OR ((triple6 ((triple9 triple6) -> rule7)) -> rule1) OR ((((((triple8) -> rule2) triple8) -> rule6)) -> rule8) OR ((((((triple8) -> rule2) triple8) -> rule6) ((triple9 triple6) -> rule7)) -> rule1) OR ((triple6 ((triple9 ((((triple8) -> rule2) triple8) -> rule6)) -> rule7)) -> rule1) OR ((((((triple8) -> rule2) triple8) -> rule6) ((triple9 ((((triple8) -> rule2) triple8) -> rule6)) -> rule7)) -> rule1))] Dave is cold.[(((triple10) -> rule2))] Gary is smart.[(((triple11) -> rule8) OR ((triple11 triple13) -> rule1) OR ((triple11 ((triple14 triple11) -> rule7)) -> rule1))] @2: Anne is round.[(((((triple4) -> rule4) triple4) -> rule3) OR ((((triple4) -> rule4) ((triple1) -> rule8)) -> rule3) OR ((((triple4) -> rule4) ((triple1 triple3) -> rule1)) -> rule3) OR ((((((triple1) -> rule8)) -> rule4) triple4) -> rule3) OR ((((((triple1 triple3) -> rule1)) -> rule4) triple4) -> rule3) OR ((((triple4) -> rule4) ((triple1 ((triple5 triple1) -> rule7)) -> rule1)) -> rule3) OR ((((((triple1) -> rule8)) -> rule4) ((triple1) -> rule8)) -> rule3) OR ((((((triple1) -> rule8)) -> rule4) ((triple1 triple3) -> rule1)) -> rule3) OR ((((((triple1 triple3) -> rule1)) -> rule4) ((triple1) -> rule8)) -> rule3) OR ((((((triple1 triple3) -> rule1)) -> rule4) ((triple1 triple3) -> rule1)) -> rule3) OR ((((((triple1) -> rule8)) -> rule4) ((triple1 ((triple5 triple1) -> rule7)) -> rule1)) -> rule3) OR ((((((triple1 triple3) -> rule1)) -> rule4) ((triple1 ((triple5 triple1) -> rule7)) -> rule1)) -> rule3) OR ((((((triple1 ((triple5 triple1) -> rule7)) -> rule1)) -> rule4) triple4) -> rule3) OR ((((((triple1 ((triple5 triple1) -> rule7)) -> rule1)) -> rule4) ((triple1) -> rule8)) -> rule3) OR ((((((triple1 ((triple5 triple1) -> rule7)) -> rule1)) -> rule4) ((triple1 triple3) -> rule1)) -> rule3) OR ((((((triple1 ((triple5 triple1) -> rule7)) -> rule1)) -> rule4) ((triple1 ((triple5 triple1) -> rule7)) -> rule1)) -> rule3))] Dave is green.[(((((triple10) -> rule2) triple10) -> rule6))] Gary is cold.[(((((triple11) -> rule8)) -> rule4) OR ((((triple11 triple13) -> rule1)) -> rule4) OR ((((triple11 ((triple14 triple11) -> rule7)) -> rule1)) -> rule4))] @3: Dave is smart.[(((((((triple10) -> rule2) triple10) -> rule6)) -> rule8))] Gary is round.[(((((((triple11) -> rule8)) -> rule4) ((triple11) -> rule8)) -> rule3) OR ((((((triple11) -> rule8)) -> rule4) ((triple11 triple13) -> rule1)) -> rule3) OR ((((((triple11 triple13) -> rule1)) -> rule4) ((triple11) -> rule8)) -> rule3) OR ((((((triple11 triple13) -> rule1)) -> rule4) ((triple11 triple13) -> rule1)) -> rule3) OR ((((((triple11) -> rule8)) -> rule4) ((triple11 ((triple14 triple11) -> rule7)) -> rule1)) -> rule3) OR ((((((triple11 triple13) -> rule1)) -> rule4) ((triple11 ((triple14 triple11) -> rule7)) -> rule1)) -> rule3) OR ((((((triple11 ((triple14 triple11) -> rule7)) -> rule1)) -> rule4) ((triple11) -> rule8)) -> rule3) OR ((((((triple11 ((triple14 triple11) -> rule7)) -> rule1)) -> rule4) ((triple11 triple13) -> rule1)) -> rule3) OR ((((((triple11 ((triple14 triple11) -> rule7)) -> rule1)) -> rule4) ((triple11 ((triple14 triple11) -> rule7)) -> rule1)) -> rule3))] @4: Dave is white.[(((((((((triple10) -> rule2) triple10) -> rule6)) -> rule8)) -> rule9))] @5: Dave is red.[(((((((((((triple10) -> rule2) triple10) -> rule6)) -> rule8)) -> rule9) ((((triple10) -> rule2) triple10) -> rule6)) -> rule7))] @6: Dave is nice.[(((((((((((((triple10) -> rule2) triple10) -> rule6)) -> rule8)) -> rule9) ((((triple10) -> rule2) triple10) -> rule6)) -> rule7) ((((((((triple10) -> rule2) triple10) -> rule6)) -> rule8)) -> rule9)) -> rule5))]