Bob is big. Bob is cold. Bob is green. Bob is kind. Bob is rough. Bob is round. Gary is big. Gary is cold. Gary is kind. Gary is round. If Bob is kind then Bob is rough. All rough things are round. If Bob is cold and Bob is green then Bob is nice. All rough things are green. If something is big and round then it is nice. If Gary is green then Gary is big. Nice things are big. All nice things are cold.
Gary is round.
@0: Bob is big.[(triple1 OR ((((triple2 triple3) -> rule3)) -> rule7) OR ((((triple2 ((triple5) -> rule4)) -> rule3)) -> rule7) OR ((((triple2 ((((triple4) -> rule1)) -> rule4)) -> rule3)) -> rule7))] Bob is cold.[(triple2 OR ((((triple1 triple6) -> rule5)) -> rule8) OR ((((triple1 ((triple5) -> rule2)) -> rule5)) -> rule8) OR ((((triple1 ((((triple4) -> rule1)) -> rule2)) -> rule5)) -> rule8))] Bob is green.[(triple3 OR ((triple5) -> rule4) OR ((((triple4) -> rule1)) -> rule4))] Bob is kind.[(triple4)] Bob is rough.[(triple5 OR ((triple4) -> rule1))] Bob is round.[(triple6 OR ((triple5) -> rule2) OR ((((triple4) -> rule1)) -> rule2))] Gary is big.[(triple7)] Gary is cold.[(triple8 OR ((((triple7 triple10) -> rule5)) -> rule8))] Gary is kind.[(triple9)] Gary is round.[(triple10)] @1: Bob is nice.[(((triple1 triple6) -> rule5) OR ((triple2 triple3) -> rule3) OR ((triple1 ((triple5) -> rule2)) -> rule5) OR ((triple2 ((triple5) -> rule4)) -> rule3) OR ((triple1 ((((triple4) -> rule1)) -> rule2)) -> rule5) OR ((triple2 ((((triple4) -> rule1)) -> rule4)) -> rule3))] Gary is nice.[(((triple7 triple10) -> rule5))]