Bob is blue. Bob is cold. Bob is furry. Bob is rough. Bob is round. Bob is smart. Bob is white. Dave is white. Gary is round. Harry is furry. Harry is rough. Harry is smart. Blue, white things are cold. Cold things are blue. Blue, white things are round. Blue, cold things are round. All white, smart things are cold. All cold things are blue. All rough things are cold. All round things are furry.
Dave is not smart.
@0: Bob is blue.[(triple1 OR ((triple2) -> rule2) OR ((triple2) -> rule6) OR ((((triple4) -> rule7)) -> rule2) OR ((((triple4) -> rule7)) -> rule6) OR ((((triple7 triple6) -> rule5)) -> rule2) OR ((((triple7 triple6) -> rule5)) -> rule6))] Bob is cold.[(triple2 OR ((triple4) -> rule7) OR ((triple1 triple7) -> rule1) OR ((triple7 triple6) -> rule5))] Bob is furry.[(triple3 OR ((triple5) -> rule8) OR ((((triple1 triple2) -> rule4)) -> rule8) OR ((((triple1 triple7) -> rule3)) -> rule8) OR ((((triple1 ((triple4) -> rule7)) -> rule4)) -> rule8) OR ((((triple1 ((triple1 triple7) -> rule1)) -> rule4)) -> rule8) OR ((((triple1 ((triple7 triple6) -> rule5)) -> rule4)) -> rule8) OR ((((((triple2) -> rule2) triple2) -> rule4)) -> rule8) OR ((((((triple2) -> rule2) triple7) -> rule3)) -> rule8) OR ((((((triple2) -> rule6) triple2) -> rule4)) -> rule8) OR ((((((triple2) -> rule6) triple7) -> rule3)) -> rule8) OR ((((((triple2) -> rule2) ((triple4) -> rule7)) -> rule4)) -> rule8) OR ((((((triple2) -> rule2) ((triple1 triple7) -> rule1)) -> rule4)) -> rule8) OR ((((((triple2) -> rule2) ((triple7 triple6) -> rule5)) -> rule4)) -> rule8) OR ((((((triple2) -> rule6) ((triple4) -> rule7)) -> rule4)) -> rule8) OR ((((((triple2) -> rule6) ((triple1 triple7) -> rule1)) -> rule4)) -> rule8) OR ((((((triple2) -> rule6) ((triple7 triple6) -> rule5)) -> rule4)) -> rule8) OR ((((((((triple4) -> rule7)) -> rule2) triple2) -> rule4)) -> rule8) OR ((((((((triple4) -> rule7)) -> rule2) triple7) -> rule3)) -> rule8) OR ((((((((triple4) -> rule7)) -> rule6) triple2) -> rule4)) -> rule8) OR ((((((((triple4) -> rule7)) -> rule6) triple7) -> rule3)) -> rule8) OR ((((((((triple7 triple6) -> rule5)) -> rule2) triple2) -> rule4)) -> rule8) OR ((((((((triple7 triple6) -> rule5)) -> rule2) triple7) -> rule3)) -> rule8) OR ((((((((triple7 triple6) -> rule5)) -> rule6) triple2) -> rule4)) -> rule8) OR ((((((((triple7 triple6) -> rule5)) -> rule6) triple7) -> rule3)) -> rule8) OR ((((((((triple4) -> rule7)) -> rule2) ((triple4) -> rule7)) -> rule4)) -> rule8) OR ((((((((triple4) -> rule7)) -> rule2) ((triple1 triple7) -> rule1)) -> rule4)) -> rule8) OR ((((((((triple4) -> rule7)) -> rule2) ((triple7 triple6) -> rule5)) -> rule4)) -> rule8) OR ((((((((triple4) -> rule7)) -> rule6) ((triple4) -> rule7)) -> rule4)) -> rule8) OR ((((((((triple4) -> rule7)) -> rule6) ((triple1 triple7) -> rule1)) -> rule4)) -> rule8) OR ((((((((triple4) -> rule7)) -> rule6) ((triple7 triple6) -> rule5)) -> rule4)) -> rule8) OR ((((((((triple7 triple6) -> rule5)) -> rule2) ((triple4) -> rule7)) -> rule4)) -> rule8) OR ((((((((triple7 triple6) -> rule5)) -> rule2) ((triple1 triple7) -> rule1)) -> rule4)) -> rule8) OR ((((((((triple7 triple6) -> rule5)) -> rule2) ((triple7 triple6) -> rule5)) -> rule4)) -> rule8) OR ((((((((triple7 triple6) -> rule5)) -> rule6) ((triple4) -> rule7)) -> rule4)) -> rule8) OR ((((((((triple7 triple6) -> rule5)) -> rule6) ((triple1 triple7) -> rule1)) -> rule4)) -> rule8) OR ((((((((triple7 triple6) -> rule5)) -> rule6) ((triple7 triple6) -> rule5)) -> rule4)) -> rule8))] Bob is rough.[(triple4)] Bob is round.[(triple5 OR ((triple1 triple2) -> rule4) OR ((triple1 triple7) -> rule3) OR ((triple1 ((triple4) -> rule7)) -> rule4) OR ((triple1 ((triple1 triple7) -> rule1)) -> rule4) OR ((triple1 ((triple7 triple6) -> rule5)) -> rule4) OR ((((triple2) -> rule2) triple2) -> rule4) OR ((((triple2) -> rule2) triple7) -> rule3) OR ((((triple2) -> rule6) triple2) -> rule4) OR ((((triple2) -> rule6) triple7) -> rule3) OR ((((triple2) -> rule2) ((triple4) -> rule7)) -> rule4) OR ((((triple2) -> rule2) ((triple1 triple7) -> rule1)) -> rule4) OR ((((triple2) -> rule2) ((triple7 triple6) -> rule5)) -> rule4) OR ((((triple2) -> rule6) ((triple4) -> rule7)) -> rule4) OR ((((triple2) -> rule6) ((triple1 triple7) -> rule1)) -> rule4) OR ((((triple2) -> rule6) ((triple7 triple6) -> rule5)) -> rule4) OR ((((((triple4) -> rule7)) -> rule2) triple2) -> rule4) OR ((((((triple4) -> rule7)) -> rule2) triple7) -> rule3) OR ((((((triple4) -> rule7)) -> rule6) triple2) -> rule4) OR ((((((triple4) -> rule7)) -> rule6) triple7) -> rule3) OR ((((((triple7 triple6) -> rule5)) -> rule2) triple2) -> rule4) OR ((((((triple7 triple6) -> rule5)) -> rule2) triple7) -> rule3) OR ((((((triple7 triple6) -> rule5)) -> rule6) triple2) -> rule4) OR ((((((triple7 triple6) -> rule5)) -> rule6) triple7) -> rule3) OR ((((((triple4) -> rule7)) -> rule2) ((triple4) -> rule7)) -> rule4) OR ((((((triple4) -> rule7)) -> rule2) ((triple1 triple7) -> rule1)) -> rule4) OR ((((((triple4) -> rule7)) -> rule2) ((triple7 triple6) -> rule5)) -> rule4) OR ((((((triple4) -> rule7)) -> rule6) ((triple4) -> rule7)) -> rule4) OR ((((((triple4) -> rule7)) -> rule6) ((triple1 triple7) -> rule1)) -> rule4) OR ((((((triple4) -> rule7)) -> rule6) ((triple7 triple6) -> rule5)) -> rule4) OR ((((((triple7 triple6) -> rule5)) -> rule2) ((triple4) -> rule7)) -> rule4) OR ((((((triple7 triple6) -> rule5)) -> rule2) ((triple1 triple7) -> rule1)) -> rule4) OR ((((((triple7 triple6) -> rule5)) -> rule2) ((triple7 triple6) -> rule5)) -> rule4) OR ((((((triple7 triple6) -> rule5)) -> rule6) ((triple4) -> rule7)) -> rule4) OR ((((((triple7 triple6) -> rule5)) -> rule6) ((triple1 triple7) -> rule1)) -> rule4) OR ((((((triple7 triple6) -> rule5)) -> rule6) ((triple7 triple6) -> rule5)) -> rule4))] Bob is smart.[(triple6)] Bob is white.[(triple7)] Dave is white.[(triple8)] Gary is round.[(triple9)] Harry is furry.[(triple10 OR ((((((((triple11) -> rule7)) -> rule2) ((triple11) -> rule7)) -> rule4)) -> rule8) OR ((((((((triple11) -> rule7)) -> rule6) ((triple11) -> rule7)) -> rule4)) -> rule8))] Harry is rough.[(triple11)] Harry is smart.[(triple12)] @1: Gary is furry.[(((triple9) -> rule8))] Harry is cold.[(((triple11) -> rule7))] @2: Harry is blue.[(((((triple11) -> rule7)) -> rule2) OR ((((triple11) -> rule7)) -> rule6))] @3: Harry is round.[(((((((triple11) -> rule7)) -> rule2) ((triple11) -> rule7)) -> rule4) OR ((((((triple11) -> rule7)) -> rule6) ((triple11) -> rule7)) -> rule4))]