Bob is furry. Bob is red. Bob is rough. Bob is round. Bob is smart. Dave is furry. Dave is quiet. Dave is rough. Harry is cold. Harry is furry. Harry is quiet. Harry is smart. Red, smart people are rough. Smart people are round. All furry, round people are red. Cold, red people are rough. Quiet people are smart. If Bob is rough and Bob is cold then Bob is round.
Bob is furry.
@0: Bob is furry.[(triple1)] Bob is red.[(triple2 OR ((triple1 triple4) -> rule3) OR ((triple1 ((triple5) -> rule2)) -> rule3))] Bob is rough.[(triple3 OR ((triple2 triple5) -> rule1) OR ((((triple1 triple4) -> rule3) triple5) -> rule1) OR ((((triple1 ((triple5) -> rule2)) -> rule3) triple5) -> rule1))] Bob is round.[(triple4 OR ((triple5) -> rule2))] Bob is smart.[(triple5)] Dave is furry.[(triple6)] Dave is quiet.[(triple7)] Dave is rough.[(triple8 OR ((((triple6 ((((triple7) -> rule5)) -> rule2)) -> rule3) ((triple7) -> rule5)) -> rule1))] Harry is cold.[(triple9)] Harry is furry.[(triple10)] Harry is quiet.[(triple11)] Harry is smart.[(triple12 OR ((triple11) -> rule5))] @1: Dave is smart.[(((triple7) -> rule5))] Harry is round.[(((triple12) -> rule2) OR ((((triple11) -> rule5)) -> rule2))] @2: Dave is round.[(((((triple7) -> rule5)) -> rule2))] Harry is red.[(((triple10 ((triple12) -> rule2)) -> rule3) OR ((triple10 ((((triple11) -> rule5)) -> rule2)) -> rule3))] @3: Dave is red.[(((triple6 ((((triple7) -> rule5)) -> rule2)) -> rule3))] Harry is rough.[(((triple9 ((triple10 ((triple12) -> rule2)) -> rule3)) -> rule4) OR ((((triple10 ((triple12) -> rule2)) -> rule3) triple12) -> rule1) OR ((((triple10 ((triple12) -> rule2)) -> rule3) ((triple11) -> rule5)) -> rule1) OR ((triple9 ((triple10 ((((triple11) -> rule5)) -> rule2)) -> rule3)) -> rule4) OR ((((triple10 ((((triple11) -> rule5)) -> rule2)) -> rule3) triple12) -> rule1) OR ((((triple10 ((((triple11) -> rule5)) -> rule2)) -> rule3) ((triple11) -> rule5)) -> rule1))]