Bob is big. Bob is blue. Bob is cold. Bob is kind. Bob is round. Bob is smart. Bob is young. Gary is big. Gary is blue. Gary is cold. Gary is kind. Gary is round. Gary is smart. Gary is young. Cold things are blue. If Bob is smart then Bob is round. All cold, blue things are round. If something is smart then it is blue. If something is cold and round then it is smart. If something is round and kind then it is smart.
Gary is big.
@0: Bob is big.[(triple1)] Bob is blue.[(triple2 OR ((triple3) -> rule1) OR ((triple6) -> rule4) OR ((((triple3 triple5) -> rule5)) -> rule4) OR ((((triple5 triple4) -> rule6)) -> rule4))] Bob is cold.[(triple3)] Bob is kind.[(triple4)] Bob is round.[(triple5 OR ((triple6) -> rule2) OR ((triple3 triple2) -> rule3) OR ((triple3 ((triple3) -> rule1)) -> rule3) OR ((triple3 ((triple6) -> rule4)) -> rule3))] Bob is smart.[(triple6 OR ((triple3 triple5) -> rule5) OR ((triple5 triple4) -> rule6) OR ((triple3 ((triple3 triple2) -> rule3)) -> rule5) OR ((((triple3 triple2) -> rule3) triple4) -> rule6) OR ((triple3 ((triple3 ((triple3) -> rule1)) -> rule3)) -> rule5) OR ((((triple3 ((triple3) -> rule1)) -> rule3) triple4) -> rule6))] Bob is young.[(triple7)] Gary is big.[(triple8)] Gary is blue.[(triple9 OR ((triple10) -> rule1) OR ((triple13) -> rule4) OR ((((triple10 triple12) -> rule5)) -> rule4) OR ((((triple12 triple11) -> rule6)) -> rule4))] Gary is cold.[(triple10)] Gary is kind.[(triple11)] Gary is round.[(triple12 OR ((triple10 triple9) -> rule3) OR ((triple10 ((triple10) -> rule1)) -> rule3) OR ((triple10 ((triple13) -> rule4)) -> rule3))] Gary is smart.[(triple13 OR ((triple10 triple12) -> rule5) OR ((triple12 triple11) -> rule6) OR ((triple10 ((triple10 triple9) -> rule3)) -> rule5) OR ((((triple10 triple9) -> rule3) triple11) -> rule6) OR ((triple10 ((triple10 ((triple10) -> rule1)) -> rule3)) -> rule5) OR ((((triple10 ((triple10) -> rule1)) -> rule3) triple11) -> rule6))] Gary is young.[(triple14)]