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