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