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