Anne is big. Anne is blue. Anne is round. Anne is smart. Charlie is round. Dave is cold. Dave is round. Cold things are blue. All round things are red. All big, smart things are rough. If something is blue and cold then it is big. Blue things are smart. All round things are cold. If something is blue and cold then it is smart. If something is rough and round then it is red.
Anne is blue.
@0: Anne is big.[(triple1 OR ((triple2 ((triple3) -> rule6)) -> rule4) OR ((((((triple3) -> rule6)) -> rule1) ((triple3) -> rule6)) -> rule4))] Anne is blue.[(triple2 OR ((((triple3) -> rule6)) -> rule1))] Anne is round.[(triple3)] Anne is smart.[(triple4 OR ((triple2) -> rule5) OR ((triple2 ((triple3) -> rule6)) -> rule7) OR ((((((triple3) -> rule6)) -> rule1)) -> rule5) OR ((((((triple3) -> rule6)) -> rule1) ((triple3) -> rule6)) -> rule7))] Charlie is round.[(triple5)] Dave is cold.[(triple6 OR ((triple7) -> rule6))] Dave is round.[(triple7)] @1: Anne is cold.[(((triple3) -> rule6))] Anne is red.[(((triple3) -> rule2) OR ((((triple1 triple4) -> rule3) triple3) -> rule8) OR ((((triple1 ((triple2) -> rule5)) -> rule3) triple3) -> rule8) OR ((((triple1 ((triple2 ((triple3) -> rule6)) -> rule7)) -> rule3) triple3) -> rule8) OR ((((((triple2 ((triple3) -> rule6)) -> rule4) triple4) -> rule3) triple3) -> rule8) OR ((((((triple2 ((triple3) -> rule6)) -> rule4) ((triple2) -> rule5)) -> rule3) triple3) -> rule8) OR ((((((triple2 ((triple3) -> rule6)) -> rule4) ((triple2 ((triple3) -> rule6)) -> rule7)) -> rule3) triple3) -> rule8) OR ((((triple1 ((((((triple3) -> rule6)) -> rule1)) -> rule5)) -> rule3) triple3) -> rule8) OR ((((triple1 ((((((triple3) -> rule6)) -> rule1) ((triple3) -> rule6)) -> rule7)) -> rule3) triple3) -> rule8) OR ((((((((((triple3) -> rule6)) -> rule1) ((triple3) -> rule6)) -> rule4) triple4) -> rule3) triple3) -> rule8) OR ((((((triple2 ((triple3) -> rule6)) -> rule4) ((((((triple3) -> rule6)) -> rule1)) -> rule5)) -> rule3) triple3) -> rule8) OR ((((((((((triple3) -> rule6)) -> rule1) ((triple3) -> rule6)) -> rule4) ((triple2) -> rule5)) -> rule3) triple3) -> rule8) OR ((((((triple2 ((triple3) -> rule6)) -> rule4) ((((((triple3) -> rule6)) -> rule1) ((triple3) -> rule6)) -> rule7)) -> rule3) triple3) -> rule8) OR ((((((((((triple3) -> rule6)) -> rule1) ((triple3) -> rule6)) -> rule4) ((triple2 ((triple3) -> rule6)) -> rule7)) -> rule3) triple3) -> rule8) OR ((((((((((triple3) -> rule6)) -> rule1) ((triple3) -> rule6)) -> rule4) ((((((triple3) -> rule6)) -> rule1)) -> rule5)) -> rule3) triple3) -> rule8) OR ((((((((((triple3) -> rule6)) -> rule1) ((triple3) -> rule6)) -> rule4) ((((((triple3) -> rule6)) -> rule1) ((triple3) -> rule6)) -> rule7)) -> rule3) triple3) -> rule8))] Anne is rough.[(((triple1 triple4) -> rule3) OR ((triple1 ((triple2) -> rule5)) -> rule3) OR ((triple1 ((triple2 ((triple3) -> rule6)) -> rule7)) -> rule3) OR ((((triple2 ((triple3) -> rule6)) -> rule4) triple4) -> rule3) OR ((((triple2 ((triple3) -> rule6)) -> rule4) ((triple2) -> rule5)) -> rule3) OR ((((triple2 ((triple3) -> rule6)) -> rule4) ((triple2 ((triple3) -> rule6)) -> rule7)) -> rule3) OR ((triple1 ((((((triple3) -> rule6)) -> rule1)) -> rule5)) -> rule3) OR ((triple1 ((((((triple3) -> rule6)) -> rule1) ((triple3) -> rule6)) -> rule7)) -> rule3) OR ((((((((triple3) -> rule6)) -> rule1) ((triple3) -> rule6)) -> rule4) triple4) -> rule3) OR ((((triple2 ((triple3) -> rule6)) -> rule4) ((((((triple3) -> rule6)) -> rule1)) -> rule5)) -> rule3) OR ((((((((triple3) -> rule6)) -> rule1) ((triple3) -> rule6)) -> rule4) ((triple2) -> rule5)) -> rule3) OR ((((triple2 ((triple3) -> rule6)) -> rule4) ((((((triple3) -> rule6)) -> rule1) ((triple3) -> rule6)) -> rule7)) -> rule3) OR ((((((((triple3) -> rule6)) -> rule1) ((triple3) -> rule6)) -> rule4) ((triple2 ((triple3) -> rule6)) -> rule7)) -> rule3) OR ((((((((triple3) -> rule6)) -> rule1) ((triple3) -> rule6)) -> rule4) ((((((triple3) -> rule6)) -> rule1)) -> rule5)) -> rule3) OR ((((((((triple3) -> rule6)) -> rule1) ((triple3) -> rule6)) -> rule4) ((((((triple3) -> rule6)) -> rule1) ((triple3) -> rule6)) -> rule7)) -> rule3))] Charlie is cold.[(((triple5) -> rule6))] Charlie is red.[(((triple5) -> rule2) OR ((((((((((triple5) -> rule6)) -> rule1) ((triple5) -> rule6)) -> rule4) ((((((triple5) -> rule6)) -> rule1)) -> rule5)) -> rule3) triple5) -> rule8) OR ((((((((((triple5) -> rule6)) -> rule1) ((triple5) -> rule6)) -> rule4) ((((((triple5) -> rule6)) -> rule1) ((triple5) -> rule6)) -> rule7)) -> rule3) triple5) -> rule8))] Dave is blue.[(((triple6) -> rule1) OR ((((triple7) -> rule6)) -> rule1))] Dave is red.[(((triple7) -> rule2) OR ((((((((triple6) -> rule1) triple6) -> rule4) ((((triple6) -> rule1)) -> rule5)) -> rule3) triple7) -> rule8) OR ((((((((triple6) -> rule1) triple6) -> rule4) ((((triple6) -> rule1) triple6) -> rule7)) -> rule3) triple7) -> rule8) OR ((((((((triple6) -> rule1) triple6) -> rule4) ((((triple6) -> rule1) ((triple7) -> rule6)) -> rule7)) -> rule3) triple7) -> rule8) OR ((((((((triple6) -> rule1) ((triple7) -> rule6)) -> rule4) ((((triple6) -> rule1)) -> rule5)) -> rule3) triple7) -> rule8) OR ((((((((triple6) -> rule1) ((triple7) -> rule6)) -> rule4) ((((triple6) -> rule1) triple6) -> rule7)) -> rule3) triple7) -> rule8) OR ((((((((triple6) -> rule1) ((triple7) -> rule6)) -> rule4) ((((triple6) -> rule1) ((triple7) -> rule6)) -> rule7)) -> rule3) triple7) -> rule8) OR ((((((((triple6) -> rule1) triple6) -> rule4) ((((((triple7) -> rule6)) -> rule1)) -> rule5)) -> rule3) triple7) -> rule8) OR ((((((((triple6) -> rule1) triple6) -> rule4) ((((((triple7) -> rule6)) -> rule1) triple6) -> rule7)) -> rule3) triple7) -> rule8) OR ((((((((((triple7) -> rule6)) -> rule1) triple6) -> rule4) ((((triple6) -> rule1)) -> rule5)) -> rule3) triple7) -> rule8) OR ((((((((((triple7) -> rule6)) -> rule1) triple6) -> rule4) ((((triple6) -> rule1) triple6) -> rule7)) -> rule3) triple7) -> rule8) OR ((((((((triple6) -> rule1) triple6) -> rule4) ((((((triple7) -> rule6)) -> rule1) ((triple7) -> rule6)) -> rule7)) -> rule3) triple7) -> rule8) OR ((((((((triple6) -> rule1) ((triple7) -> rule6)) -> rule4) ((((((triple7) -> rule6)) -> rule1)) -> rule5)) -> rule3) triple7) -> rule8) OR ((((((((triple6) -> rule1) ((triple7) -> rule6)) -> rule4) ((((((triple7) -> rule6)) -> rule1) triple6) -> rule7)) -> rule3) triple7) -> rule8) OR ((((((((((triple7) -> rule6)) -> rule1) triple6) -> rule4) ((((((triple7) -> rule6)) -> rule1)) -> rule5)) -> rule3) triple7) -> rule8) OR ((((((((((triple7) -> rule6)) -> rule1) triple6) -> rule4) ((((triple6) -> rule1) ((triple7) -> rule6)) -> rule7)) -> rule3) triple7) -> rule8) OR ((((((((((triple7) -> rule6)) -> rule1) triple6) -> rule4) ((((((triple7) -> rule6)) -> rule1) triple6) -> rule7)) -> rule3) triple7) -> rule8) OR ((((((((((triple7) -> rule6)) -> rule1) ((triple7) -> rule6)) -> rule4) ((((triple6) -> rule1)) -> rule5)) -> rule3) triple7) -> rule8) OR ((((((((((triple7) -> rule6)) -> rule1) ((triple7) -> rule6)) -> rule4) ((((triple6) -> rule1) triple6) -> rule7)) -> rule3) triple7) -> rule8) OR ((((((((triple6) -> rule1) ((triple7) -> rule6)) -> rule4) ((((((triple7) -> rule6)) -> rule1) ((triple7) -> rule6)) -> rule7)) -> rule3) triple7) -> rule8) OR ((((((((((triple7) -> rule6)) -> rule1) triple6) -> rule4) ((((((triple7) -> rule6)) -> rule1) ((triple7) -> rule6)) -> rule7)) -> rule3) triple7) -> rule8) OR ((((((((((triple7) -> rule6)) -> rule1) ((triple7) -> rule6)) -> rule4) ((((((triple7) -> rule6)) -> rule1)) -> rule5)) -> rule3) triple7) -> rule8) OR ((((((((((triple7) -> rule6)) -> rule1) ((triple7) -> rule6)) -> rule4) ((((triple6) -> rule1) ((triple7) -> rule6)) -> rule7)) -> rule3) triple7) -> rule8) OR ((((((((((triple7) -> rule6)) -> rule1) ((triple7) -> rule6)) -> rule4) ((((((triple7) -> rule6)) -> rule1) triple6) -> rule7)) -> rule3) triple7) -> rule8) OR ((((((((((triple7) -> rule6)) -> rule1) ((triple7) -> rule6)) -> rule4) ((((((triple7) -> rule6)) -> rule1) ((triple7) -> rule6)) -> rule7)) -> rule3) triple7) -> rule8))] @2: Charlie is blue.[(((((triple5) -> rule6)) -> rule1))] Dave is big.[(((((triple6) -> rule1) triple6) -> rule4) OR ((((triple6) -> rule1) ((triple7) -> rule6)) -> rule4) OR ((((((triple7) -> rule6)) -> rule1) triple6) -> rule4) OR ((((((triple7) -> rule6)) -> rule1) ((triple7) -> rule6)) -> rule4))] Dave is smart.[(((((triple6) -> rule1)) -> rule5) OR ((((triple6) -> rule1) triple6) -> rule7) OR ((((triple6) -> rule1) ((triple7) -> rule6)) -> rule7) OR ((((((triple7) -> rule6)) -> rule1)) -> rule5) OR ((((((triple7) -> rule6)) -> rule1) triple6) -> rule7) OR ((((((triple7) -> rule6)) -> rule1) ((triple7) -> rule6)) -> rule7))] @3: Charlie is big.[(((((((triple5) -> rule6)) -> rule1) ((triple5) -> rule6)) -> rule4))] Charlie is smart.[(((((((triple5) -> rule6)) -> rule1)) -> rule5) OR ((((((triple5) -> rule6)) -> rule1) ((triple5) -> rule6)) -> rule7))] Dave is rough.[(((((((triple6) -> rule1) triple6) -> rule4) ((((triple6) -> rule1)) -> rule5)) -> rule3) OR ((((((triple6) -> rule1) triple6) -> rule4) ((((triple6) -> rule1) triple6) -> rule7)) -> rule3) OR ((((((triple6) -> rule1) triple6) -> rule4) ((((triple6) -> rule1) ((triple7) -> rule6)) -> rule7)) -> rule3) OR ((((((triple6) -> rule1) ((triple7) -> rule6)) -> rule4) ((((triple6) -> rule1)) -> rule5)) -> rule3) OR ((((((triple6) -> rule1) ((triple7) -> rule6)) -> rule4) ((((triple6) -> rule1) triple6) -> rule7)) -> rule3) OR ((((((triple6) -> rule1) ((triple7) -> rule6)) -> rule4) ((((triple6) -> rule1) ((triple7) -> rule6)) -> rule7)) -> rule3) OR ((((((triple6) -> rule1) triple6) -> rule4) ((((((triple7) -> rule6)) -> rule1)) -> rule5)) -> rule3) OR ((((((triple6) -> rule1) triple6) -> rule4) ((((((triple7) -> rule6)) -> rule1) triple6) -> rule7)) -> rule3) OR ((((((((triple7) -> rule6)) -> rule1) triple6) -> rule4) ((((triple6) -> rule1)) -> rule5)) -> rule3) OR ((((((((triple7) -> rule6)) -> rule1) triple6) -> rule4) ((((triple6) -> rule1) triple6) -> rule7)) -> rule3) OR ((((((triple6) -> rule1) triple6) -> rule4) ((((((triple7) -> rule6)) -> rule1) ((triple7) -> rule6)) -> rule7)) -> rule3) OR ((((((triple6) -> rule1) ((triple7) -> rule6)) -> rule4) ((((((triple7) -> rule6)) -> rule1)) -> rule5)) -> rule3) OR ((((((triple6) -> rule1) ((triple7) -> rule6)) -> rule4) ((((((triple7) -> rule6)) -> rule1) triple6) -> rule7)) -> rule3) OR ((((((((triple7) -> rule6)) -> rule1) triple6) -> rule4) ((((((triple7) -> rule6)) -> rule1)) -> rule5)) -> rule3) OR ((((((((triple7) -> rule6)) -> rule1) triple6) -> rule4) ((((triple6) -> rule1) ((triple7) -> rule6)) -> rule7)) -> rule3) OR ((((((((triple7) -> rule6)) -> rule1) triple6) -> rule4) ((((((triple7) -> rule6)) -> rule1) triple6) -> rule7)) -> rule3) OR ((((((((triple7) -> rule6)) -> rule1) ((triple7) -> rule6)) -> rule4) ((((triple6) -> rule1)) -> rule5)) -> rule3) OR ((((((((triple7) -> rule6)) -> rule1) ((triple7) -> rule6)) -> rule4) ((((triple6) -> rule1) triple6) -> rule7)) -> rule3) OR ((((((triple6) -> rule1) ((triple7) -> rule6)) -> rule4) ((((((triple7) -> rule6)) -> rule1) ((triple7) -> rule6)) -> rule7)) -> rule3) OR ((((((((triple7) -> rule6)) -> rule1) triple6) -> rule4) ((((((triple7) -> rule6)) -> rule1) ((triple7) -> rule6)) -> rule7)) -> rule3) OR ((((((((triple7) -> rule6)) -> rule1) ((triple7) -> rule6)) -> rule4) ((((((triple7) -> rule6)) -> rule1)) -> rule5)) -> rule3) OR ((((((((triple7) -> rule6)) -> rule1) ((triple7) -> rule6)) -> rule4) ((((triple6) -> rule1) ((triple7) -> rule6)) -> rule7)) -> rule3) OR ((((((((triple7) -> rule6)) -> rule1) ((triple7) -> rule6)) -> rule4) ((((((triple7) -> rule6)) -> rule1) triple6) -> rule7)) -> rule3) OR ((((((((triple7) -> rule6)) -> rule1) ((triple7) -> rule6)) -> rule4) ((((((triple7) -> rule6)) -> rule1) ((triple7) -> rule6)) -> rule7)) -> rule3))] @4: Charlie is rough.[(((((((((triple5) -> rule6)) -> rule1) ((triple5) -> rule6)) -> rule4) ((((((triple5) -> rule6)) -> rule1)) -> rule5)) -> rule3) OR ((((((((triple5) -> rule6)) -> rule1) ((triple5) -> rule6)) -> rule4) ((((((triple5) -> rule6)) -> rule1) ((triple5) -> rule6)) -> rule7)) -> rule3))]