Bob is big. Bob is quiet. Bob is young. Gary is big. Gary is blue. Gary is green. Gary is nice. Gary is quiet. Gary is white. Gary is young. If something is green and big then it is blue. If Gary is blue and Gary is quiet then Gary is big. If Gary is nice and Gary is green then Gary is white. White things are blue. If something is young then it is white. Green, nice things are big. White things are blue. If something is blue and young then it is nice.
Gary is blue.
@0: Bob is big.[(triple1)] Bob is quiet.[(triple2)] Bob is young.[(triple3)] Gary is big.[(triple4 OR ((triple5 triple8) -> rule2) OR ((triple6 triple7) -> rule6) OR ((triple6 ((triple5 triple10) -> rule8)) -> rule6) OR ((((triple9) -> rule4) triple8) -> rule2) OR ((((triple9) -> rule7) triple8) -> rule2) OR ((triple6 ((((triple9) -> rule4) triple10) -> rule8)) -> rule6) OR ((triple6 ((((triple9) -> rule7) triple10) -> rule8)) -> rule6) OR ((((((triple10) -> rule5)) -> rule4) triple8) -> rule2) OR ((((((triple10) -> rule5)) -> rule7) triple8) -> rule2) OR ((((((triple7 triple6) -> rule3)) -> rule4) triple8) -> rule2) OR ((((((triple7 triple6) -> rule3)) -> rule7) triple8) -> rule2) OR ((triple6 ((((((triple10) -> rule5)) -> rule4) triple10) -> rule8)) -> rule6) OR ((triple6 ((((((triple10) -> rule5)) -> rule7) triple10) -> rule8)) -> rule6))] Gary is blue.[(triple5 OR ((triple9) -> rule4) OR ((triple9) -> rule7) OR ((triple6 triple4) -> rule1) OR ((((triple10) -> rule5)) -> rule4) OR ((((triple10) -> rule5)) -> rule7) OR ((((triple7 triple6) -> rule3)) -> rule4) OR ((((triple7 triple6) -> rule3)) -> rule7) OR ((triple6 ((triple6 triple7) -> rule6)) -> rule1))] Gary is green.[(triple6)] Gary is nice.[(triple7 OR ((triple5 triple10) -> rule8) OR ((((triple9) -> rule4) triple10) -> rule8) OR ((((triple9) -> rule7) triple10) -> rule8) OR ((((triple6 triple4) -> rule1) triple10) -> rule8) OR ((((((triple10) -> rule5)) -> rule4) triple10) -> rule8) OR ((((((triple10) -> rule5)) -> rule7) triple10) -> rule8))] Gary is quiet.[(triple8)] Gary is white.[(triple9 OR ((triple10) -> rule5) OR ((triple7 triple6) -> rule3) OR ((((triple5 triple10) -> rule8) triple6) -> rule3) OR ((((((triple6 triple4) -> rule1) triple10) -> rule8) triple6) -> rule3))] Gary is young.[(triple10)] @1: Bob is white.[(((triple3) -> rule5))] @2: Bob is blue.[(((((triple3) -> rule5)) -> rule4) OR ((((triple3) -> rule5)) -> rule7))] @3: Bob is nice.[(((((((triple3) -> rule5)) -> rule4) triple3) -> rule8) OR ((((((triple3) -> rule5)) -> rule7) triple3) -> rule8))]