Anne is blue. Anne is nice. Anne is red. Anne is rough. Anne is round. Anne is smart. Bob is blue. Dave is blue. Dave is rough. Dave is smart. Harry is blue. Harry is furry. If something is furry then it is round. If Anne is red and Anne is nice then Anne is rough. If something is red and round then it is smart. All round things are furry. All blue, round things are red. Blue things are nice. All nice, blue things are furry. All red things are smart.
Bob is not smart.
@0: Anne is blue.[(triple1)] Anne is nice.[(triple2 OR ((triple1) -> rule6))] Anne is red.[(triple3 OR ((triple1 triple5) -> rule5) OR ((triple1 ((((triple2 triple1) -> rule7)) -> rule1)) -> rule5) OR ((triple1 ((((((triple1) -> rule6) triple1) -> rule7)) -> rule1)) -> rule5))] Anne is rough.[(triple4 OR ((triple3 triple2) -> rule2) OR ((triple3 ((triple1) -> rule6)) -> rule2) OR ((((triple1 triple5) -> rule5) triple2) -> rule2) OR ((((triple1 triple5) -> rule5) ((triple1) -> rule6)) -> rule2) OR ((((triple1 ((((triple2 triple1) -> rule7)) -> rule1)) -> rule5) triple2) -> rule2) OR ((((triple1 ((((triple2 triple1) -> rule7)) -> rule1)) -> rule5) ((triple1) -> rule6)) -> rule2) OR ((((triple1 ((((((triple1) -> rule6) triple1) -> rule7)) -> rule1)) -> rule5) triple2) -> rule2) OR ((((triple1 ((((((triple1) -> rule6) triple1) -> rule7)) -> rule1)) -> rule5) ((triple1) -> rule6)) -> rule2))] Anne is round.[(triple5 OR ((((triple2 triple1) -> rule7)) -> rule1) OR ((((((triple1) -> rule6) triple1) -> rule7)) -> rule1))] Anne is smart.[(triple6 OR ((triple3) -> rule8) OR ((triple3 triple5) -> rule3) OR ((((triple1 triple5) -> rule5)) -> rule8) OR ((((triple1 triple5) -> rule5) triple5) -> rule3) OR ((triple3 ((((triple2 triple1) -> rule7)) -> rule1)) -> rule3) OR ((((triple1 triple5) -> rule5) ((((triple2 triple1) -> rule7)) -> rule1)) -> rule3) OR ((((triple1 ((((triple2 triple1) -> rule7)) -> rule1)) -> rule5)) -> rule8) OR ((triple3 ((((((triple1) -> rule6) triple1) -> rule7)) -> rule1)) -> rule3) OR ((((triple1 ((((triple2 triple1) -> rule7)) -> rule1)) -> rule5) triple5) -> rule3) OR ((((triple1 triple5) -> rule5) ((((((triple1) -> rule6) triple1) -> rule7)) -> rule1)) -> rule3) OR ((((triple1 ((((triple2 triple1) -> rule7)) -> rule1)) -> rule5) ((((triple2 triple1) -> rule7)) -> rule1)) -> rule3) OR ((((triple1 ((((triple2 triple1) -> rule7)) -> rule1)) -> rule5) ((((((triple1) -> rule6) triple1) -> rule7)) -> rule1)) -> rule3) OR ((((triple1 ((((((triple1) -> rule6) triple1) -> rule7)) -> rule1)) -> rule5)) -> rule8) OR ((((triple1 ((((((triple1) -> rule6) triple1) -> rule7)) -> rule1)) -> rule5) triple5) -> rule3) OR ((((triple1 ((((((triple1) -> rule6) triple1) -> rule7)) -> rule1)) -> rule5) ((((triple2 triple1) -> rule7)) -> rule1)) -> rule3) OR ((((triple1 ((((((triple1) -> rule6) triple1) -> rule7)) -> rule1)) -> rule5) ((((((triple1) -> rule6) triple1) -> rule7)) -> rule1)) -> rule3))] Bob is blue.[(triple7)] Dave is blue.[(triple8)] Dave is rough.[(triple9)] Dave is smart.[(triple10 OR ((((triple8 ((((((triple8) -> rule6) triple8) -> rule7)) -> rule1)) -> rule5)) -> rule8) OR ((((triple8 ((((((triple8) -> rule6) triple8) -> rule7)) -> rule1)) -> rule5) ((((((triple8) -> rule6) triple8) -> rule7)) -> rule1)) -> rule3))] Harry is blue.[(triple11)] Harry is furry.[(triple12 OR ((((triple11) -> rule6) triple11) -> rule7))] @1: Anne is furry.[(((triple5) -> rule4) OR ((triple2 triple1) -> rule7) OR ((((triple1) -> rule6) triple1) -> rule7))] Bob is nice.[(((triple7) -> rule6))] Dave is nice.[(((triple8) -> rule6))] Harry is nice.[(((triple11) -> rule6))] Harry is round.[(((triple12) -> rule1) OR ((((((triple11) -> rule6) triple11) -> rule7)) -> rule1))] @2: Bob is furry.[(((((triple7) -> rule6) triple7) -> rule7))] Dave is furry.[(((((triple8) -> rule6) triple8) -> rule7))] Harry is red.[(((triple11 ((triple12) -> rule1)) -> rule5) OR ((triple11 ((((((triple11) -> rule6) triple11) -> rule7)) -> rule1)) -> rule5))] @3: Bob is round.[(((((((triple7) -> rule6) triple7) -> rule7)) -> rule1))] Dave is round.[(((((((triple8) -> rule6) triple8) -> rule7)) -> rule1))] Harry is smart.[(((((triple11 ((triple12) -> rule1)) -> rule5)) -> rule8) OR ((((triple11 ((triple12) -> rule1)) -> rule5) ((triple12) -> rule1)) -> rule3) OR ((((triple11 ((triple12) -> rule1)) -> rule5) ((((((triple11) -> rule6) triple11) -> rule7)) -> rule1)) -> rule3) OR ((((triple11 ((((((triple11) -> rule6) triple11) -> rule7)) -> rule1)) -> rule5)) -> rule8) OR ((((triple11 ((((((triple11) -> rule6) triple11) -> rule7)) -> rule1)) -> rule5) ((triple12) -> rule1)) -> rule3) OR ((((triple11 ((((((triple11) -> rule6) triple11) -> rule7)) -> rule1)) -> rule5) ((((((triple11) -> rule6) triple11) -> rule7)) -> rule1)) -> rule3))] @4: Bob is red.[(((triple7 ((((((triple7) -> rule6) triple7) -> rule7)) -> rule1)) -> rule5))] Dave is red.[(((triple8 ((((((triple8) -> rule6) triple8) -> rule7)) -> rule1)) -> rule5))] @5: Bob is smart.[(((((triple7 ((((((triple7) -> rule6) triple7) -> rule7)) -> rule1)) -> rule5)) -> rule8) OR ((((triple7 ((((((triple7) -> rule6) triple7) -> rule7)) -> rule1)) -> rule5) ((((((triple7) -> rule6) triple7) -> rule7)) -> rule1)) -> rule3))]