Bob is cold. Bob is green. Bob is rough. Bob is round. Bob is young. Gary is cold. Gary is furry. Gary is green. Gary is rough. Gary is round. Gary is white. Gary is young. If Gary is furry and Gary is young then Gary is rough. Young things are round. All round, green things are white. If Bob is white and Bob is green then Bob is round. If something is green and furry then it is cold. If something is rough then it is green. All round, young things are rough. If Bob is furry and Bob is young then Bob is green.
Bob is white.
@0: Bob is cold.[(triple1)] Bob is green.[(triple2 OR ((triple3) -> rule6) OR ((((triple4 triple5) -> rule7)) -> rule6) OR ((((((triple5) -> rule2) triple5) -> rule7)) -> rule6))] Bob is rough.[(triple3 OR ((triple4 triple5) -> rule7) OR ((((triple5) -> rule2) triple5) -> rule7))] Bob is round.[(triple4 OR ((triple5) -> rule2))] Bob is young.[(triple5)] Gary is cold.[(triple6 OR ((triple8 triple7) -> rule5) OR ((((triple9) -> rule6) triple7) -> rule5) OR ((((((triple10 triple12) -> rule7)) -> rule6) triple7) -> rule5) OR ((((((triple7 triple12) -> rule1)) -> rule6) triple7) -> rule5) OR ((((((((triple12) -> rule2) triple12) -> rule7)) -> rule6) triple7) -> rule5))] Gary is furry.[(triple7)] Gary is green.[(triple8 OR ((triple9) -> rule6) OR ((((triple10 triple12) -> rule7)) -> rule6) OR ((((triple7 triple12) -> rule1)) -> rule6) OR ((((((triple12) -> rule2) triple12) -> rule7)) -> rule6))] Gary is rough.[(triple9 OR ((triple10 triple12) -> rule7) OR ((triple7 triple12) -> rule1) OR ((((triple12) -> rule2) triple12) -> rule7))] Gary is round.[(triple10 OR ((triple12) -> rule2))] Gary is white.[(triple11 OR ((triple10 triple8) -> rule3) OR ((triple10 ((triple9) -> rule6)) -> rule3) OR ((((triple12) -> rule2) triple8) -> rule3) OR ((((triple12) -> rule2) ((triple9) -> rule6)) -> rule3) OR ((triple10 ((((triple10 triple12) -> rule7)) -> rule6)) -> rule3) OR ((triple10 ((((triple7 triple12) -> rule1)) -> rule6)) -> rule3) OR ((((triple12) -> rule2) ((((triple10 triple12) -> rule7)) -> rule6)) -> rule3) OR ((((triple12) -> rule2) ((((triple7 triple12) -> rule1)) -> rule6)) -> rule3) OR ((triple10 ((((((triple12) -> rule2) triple12) -> rule7)) -> rule6)) -> rule3) OR ((((triple12) -> rule2) ((((((triple12) -> rule2) triple12) -> rule7)) -> rule6)) -> rule3))] Gary is young.[(triple12)] @1: Bob is white.[(((triple4 triple2) -> rule3) OR ((triple4 ((triple3) -> rule6)) -> rule3) OR ((((triple5) -> rule2) triple2) -> rule3) OR ((((triple5) -> rule2) ((triple3) -> rule6)) -> rule3) OR ((triple4 ((((triple4 triple5) -> rule7)) -> rule6)) -> rule3) OR ((((triple5) -> rule2) ((((triple4 triple5) -> rule7)) -> rule6)) -> rule3) OR ((triple4 ((((((triple5) -> rule2) triple5) -> rule7)) -> rule6)) -> rule3) OR ((((triple5) -> rule2) ((((((triple5) -> rule2) triple5) -> rule7)) -> rule6)) -> rule3))]