Bob is big. Bob is cold. Bob is furry. Bob is nice. Bob is quiet. Charlie is blue. Charlie is furry. Charlie is nice. Charlie is quiet. Gary is big. Gary is blue. Gary is cold. Gary is furry. Gary is green. Gary is nice. Gary is quiet. If something is big and furry then it is cold. Blue, quiet things are big. All furry, big things are cold. All blue, cold things are green. Cold things are furry. If Gary is green then Gary is nice.
Charlie is cold.
@0: Bob is big.[(triple1)] Bob is cold.[(triple2 OR ((triple1 triple3) -> rule1) OR ((triple3 triple1) -> rule3))] Bob is furry.[(triple3 OR ((triple2) -> rule5))] Bob is nice.[(triple4)] Bob is quiet.[(triple5)] Charlie is blue.[(triple6)] Charlie is furry.[(triple7)] Charlie is nice.[(triple8)] Charlie is quiet.[(triple9)] Gary is big.[(triple10 OR ((triple11 triple16) -> rule2))] Gary is blue.[(triple11)] Gary is cold.[(triple12 OR ((triple10 triple13) -> rule1) OR ((triple13 triple10) -> rule3) OR ((triple13 ((triple11 triple16) -> rule2)) -> rule3) OR ((((triple11 triple16) -> rule2) triple13) -> rule1))] Gary is furry.[(triple13 OR ((triple12) -> rule5))] Gary is green.[(triple14 OR ((triple11 triple12) -> rule4) OR ((triple11 ((triple10 triple13) -> rule1)) -> rule4) OR ((triple11 ((triple13 triple10) -> rule3)) -> rule4) OR ((triple11 ((triple13 ((triple11 triple16) -> rule2)) -> rule3)) -> rule4) OR ((triple11 ((((triple11 triple16) -> rule2) triple13) -> rule1)) -> rule4))] Gary is nice.[(triple15 OR ((triple14) -> rule6) OR ((((triple11 triple12) -> rule4)) -> rule6) OR ((((triple11 ((triple10 triple13) -> rule1)) -> rule4)) -> rule6) OR ((((triple11 ((triple13 triple10) -> rule3)) -> rule4)) -> rule6) OR ((((triple11 ((triple13 ((triple11 triple16) -> rule2)) -> rule3)) -> rule4)) -> rule6) OR ((((triple11 ((((triple11 triple16) -> rule2) triple13) -> rule1)) -> rule4)) -> rule6))] Gary is quiet.[(triple16)] @1: Charlie is big.[(((triple6 triple9) -> rule2))] @2: Charlie is cold.[(((triple7 ((triple6 triple9) -> rule2)) -> rule3) OR ((((triple6 triple9) -> rule2) triple7) -> rule1))] @3: Charlie is green.[(((triple6 ((triple7 ((triple6 triple9) -> rule2)) -> rule3)) -> rule4) OR ((triple6 ((((triple6 triple9) -> rule2) triple7) -> rule1)) -> rule4))]