Bob is big. Bob is blue. Bob is rough. Dave is big. Dave is blue. Dave is cold. Dave is quiet. Dave is red. Dave is rough. Dave is white. Harry is big. Harry is white. Blue, big things are white. All blue, white things are rough. If something is big and blue then it is cold. If something is quiet and white then it is big. White, rough things are quiet. All blue, cold things are big. If something is red then it is cold. If something is blue then it is cold.
Harry is big.
@0: Bob is big.[(triple1 OR ((triple2 ((triple2) -> rule8)) -> rule6))] Bob is blue.[(triple2)] Bob is rough.[(triple3 OR ((triple2 ((triple2 triple1) -> rule1)) -> rule2) OR ((triple2 ((triple2 ((triple2 ((triple2) -> rule8)) -> rule6)) -> rule1)) -> rule2))] Dave is big.[(triple4 OR ((triple5 triple6) -> rule6) OR ((triple7 triple10) -> rule4) OR ((triple5 ((triple5) -> rule8)) -> rule6) OR ((triple5 ((triple8) -> rule7)) -> rule6) OR ((((triple10 triple9) -> rule5) triple10) -> rule4) OR ((((triple10 ((triple5 triple10) -> rule2)) -> rule5) triple10) -> rule4))] Dave is blue.[(triple5)] Dave is cold.[(triple6 OR ((triple5) -> rule8) OR ((triple8) -> rule7) OR ((triple4 triple5) -> rule3) OR ((((triple7 triple10) -> rule4) triple5) -> rule3) OR ((((((triple10 triple9) -> rule5) triple10) -> rule4) triple5) -> rule3) OR ((((((triple10 ((triple5 triple10) -> rule2)) -> rule5) triple10) -> rule4) triple5) -> rule3))] Dave is quiet.[(triple7 OR ((triple10 triple9) -> rule5) OR ((triple10 ((triple5 triple10) -> rule2)) -> rule5) OR ((((triple5 triple4) -> rule1) triple9) -> rule5) OR ((((triple5 triple4) -> rule1) ((triple5 triple10) -> rule2)) -> rule5) OR ((triple10 ((triple5 ((triple5 triple4) -> rule1)) -> rule2)) -> rule5) OR ((((triple5 ((triple5 triple6) -> rule6)) -> rule1) triple9) -> rule5) OR ((((triple5 triple4) -> rule1) ((triple5 ((triple5 triple4) -> rule1)) -> rule2)) -> rule5) OR ((((triple5 ((triple5 triple6) -> rule6)) -> rule1) ((triple5 triple10) -> rule2)) -> rule5) OR ((((triple5 ((triple5 triple6) -> rule6)) -> rule1) ((triple5 ((triple5 triple4) -> rule1)) -> rule2)) -> rule5) OR ((triple10 ((triple5 ((triple5 ((triple5 triple6) -> rule6)) -> rule1)) -> rule2)) -> rule5) OR ((((triple5 ((triple5 ((triple5) -> rule8)) -> rule6)) -> rule1) triple9) -> rule5) OR ((((triple5 ((triple5 ((triple8) -> rule7)) -> rule6)) -> rule1) triple9) -> rule5) OR ((((triple5 triple4) -> rule1) ((triple5 ((triple5 ((triple5 triple6) -> rule6)) -> rule1)) -> rule2)) -> rule5) OR ((((triple5 ((triple5 ((triple5) -> rule8)) -> rule6)) -> rule1) ((triple5 triple10) -> rule2)) -> rule5) OR ((((triple5 ((triple5 ((triple8) -> rule7)) -> rule6)) -> rule1) ((triple5 triple10) -> rule2)) -> rule5) OR ((((triple5 ((triple5 triple6) -> rule6)) -> rule1) ((triple5 ((triple5 ((triple5 triple6) -> rule6)) -> rule1)) -> rule2)) -> rule5) OR ((((triple5 ((triple5 ((triple5) -> rule8)) -> rule6)) -> rule1) ((triple5 ((triple5 triple4) -> rule1)) -> rule2)) -> rule5) OR ((((triple5 ((triple5 ((triple8) -> rule7)) -> rule6)) -> rule1) ((triple5 ((triple5 triple4) -> rule1)) -> rule2)) -> rule5) OR ((((triple5 ((triple5 ((triple5) -> rule8)) -> rule6)) -> rule1) ((triple5 ((triple5 ((triple5 triple6) -> rule6)) -> rule1)) -> rule2)) -> rule5) OR ((((triple5 ((triple5 ((triple8) -> rule7)) -> rule6)) -> rule1) ((triple5 ((triple5 ((triple5 triple6) -> rule6)) -> rule1)) -> rule2)) -> rule5) OR ((triple10 ((triple5 ((triple5 ((triple5 ((triple5) -> rule8)) -> rule6)) -> rule1)) -> rule2)) -> rule5) OR ((triple10 ((triple5 ((triple5 ((triple5 ((triple8) -> rule7)) -> rule6)) -> rule1)) -> rule2)) -> rule5) OR ((((triple5 triple4) -> rule1) ((triple5 ((triple5 ((triple5 ((triple5) -> rule8)) -> rule6)) -> rule1)) -> rule2)) -> rule5) OR ((((triple5 triple4) -> rule1) ((triple5 ((triple5 ((triple5 ((triple8) -> rule7)) -> rule6)) -> rule1)) -> rule2)) -> rule5) OR ((((triple5 ((triple5 triple6) -> rule6)) -> rule1) ((triple5 ((triple5 ((triple5 ((triple5) -> rule8)) -> rule6)) -> rule1)) -> rule2)) -> rule5) OR ((((triple5 ((triple5 triple6) -> rule6)) -> rule1) ((triple5 ((triple5 ((triple5 ((triple8) -> rule7)) -> rule6)) -> rule1)) -> rule2)) -> rule5) OR ((((triple5 ((triple5 ((triple5) -> rule8)) -> rule6)) -> rule1) ((triple5 ((triple5 ((triple5 ((triple5) -> rule8)) -> rule6)) -> rule1)) -> rule2)) -> rule5) OR ((((triple5 ((triple5 ((triple5) -> rule8)) -> rule6)) -> rule1) ((triple5 ((triple5 ((triple5 ((triple8) -> rule7)) -> rule6)) -> rule1)) -> rule2)) -> rule5) OR ((((triple5 ((triple5 ((triple8) -> rule7)) -> rule6)) -> rule1) ((triple5 ((triple5 ((triple5 ((triple5) -> rule8)) -> rule6)) -> rule1)) -> rule2)) -> rule5) OR ((((triple5 ((triple5 ((triple8) -> rule7)) -> rule6)) -> rule1) ((triple5 ((triple5 ((triple5 ((triple8) -> rule7)) -> rule6)) -> rule1)) -> rule2)) -> rule5))] Dave is red.[(triple8)] Dave is rough.[(triple9 OR ((triple5 triple10) -> rule2) OR ((triple5 ((triple5 triple4) -> rule1)) -> rule2) OR ((triple5 ((triple5 ((triple5 triple6) -> rule6)) -> rule1)) -> rule2) OR ((triple5 ((triple5 ((triple5 ((triple5) -> rule8)) -> rule6)) -> rule1)) -> rule2) OR ((triple5 ((triple5 ((triple5 ((triple8) -> rule7)) -> rule6)) -> rule1)) -> rule2))] Dave is white.[(triple10 OR ((triple5 triple4) -> rule1) OR ((triple5 ((triple5 triple6) -> rule6)) -> rule1) OR ((triple5 ((triple5 ((triple5) -> rule8)) -> rule6)) -> rule1) OR ((triple5 ((triple5 ((triple8) -> rule7)) -> rule6)) -> rule1))] Harry is big.[(triple11)] Harry is white.[(triple12)] @1: Bob is cold.[(((triple2) -> rule8) OR ((triple1 triple2) -> rule3))] Bob is white.[(((triple2 triple1) -> rule1) OR ((triple2 ((triple2 ((triple2) -> rule8)) -> rule6)) -> rule1))] @2: Bob is quiet.[(((((triple2 triple1) -> rule1) triple3) -> rule5) OR ((((triple2 triple1) -> rule1) ((triple2 ((triple2 triple1) -> rule1)) -> rule2)) -> rule5) OR ((((triple2 ((triple2 ((triple2) -> rule8)) -> rule6)) -> rule1) triple3) -> rule5) OR ((((triple2 ((triple2 ((triple2) -> rule8)) -> rule6)) -> rule1) ((triple2 ((triple2 triple1) -> rule1)) -> rule2)) -> rule5) OR ((((triple2 triple1) -> rule1) ((triple2 ((triple2 ((triple2 ((triple2) -> rule8)) -> rule6)) -> rule1)) -> rule2)) -> rule5) OR ((((triple2 ((triple2 ((triple2) -> rule8)) -> rule6)) -> rule1) ((triple2 ((triple2 ((triple2 ((triple2) -> rule8)) -> rule6)) -> rule1)) -> rule2)) -> rule5))]