Anne is big. Anne is blue. Anne is kind. Anne is nice. Anne is red. Anne is round. Anne is young. Gary is big. Gary is blue. Gary is kind. Gary is nice. Gary is red. Big, round people are nice. Nice, big people are young. If someone is big and young then they are round. All round, red people are blue. All red, nice people are big. If someone is young and nice then they are blue. Blue, nice people are kind. If someone is blue then they are nice.
Gary is young.
@0: Anne is big.[(triple1 OR ((triple5 triple4) -> rule5) OR ((triple5 ((triple2) -> rule8)) -> rule5) OR ((triple5 ((((triple6 triple5) -> rule4)) -> rule8)) -> rule5))] Anne is blue.[(triple2 OR ((triple6 triple5) -> rule4) OR ((triple7 triple4) -> rule6) OR ((triple7 ((triple1 triple6) -> rule1)) -> rule6) OR ((((triple1 triple7) -> rule3) triple5) -> rule4) OR ((((triple4 triple1) -> rule2) triple4) -> rule6) OR ((((triple4 triple1) -> rule2) ((triple1 triple6) -> rule1)) -> rule6) OR ((triple7 ((triple1 ((triple1 triple7) -> rule3)) -> rule1)) -> rule6) OR ((((triple1 ((triple4 triple1) -> rule2)) -> rule3) triple5) -> rule4) OR ((((triple4 ((triple5 triple4) -> rule5)) -> rule2) triple4) -> rule6) OR ((((((triple1 triple6) -> rule1) triple1) -> rule2) triple4) -> rule6) OR ((((((triple5 triple4) -> rule5) triple7) -> rule3) triple5) -> rule4) OR ((((triple4 triple1) -> rule2) ((triple1 ((triple1 triple7) -> rule3)) -> rule1)) -> rule6) OR ((((triple4 ((triple5 triple4) -> rule5)) -> rule2) ((triple1 triple6) -> rule1)) -> rule6) OR ((((((triple1 triple6) -> rule1) triple1) -> rule2) ((triple1 triple6) -> rule1)) -> rule6) OR ((((((triple1 triple6) -> rule1) ((triple5 triple4) -> rule5)) -> rule2) triple4) -> rule6) OR ((((((triple5 triple4) -> rule5) ((triple4 triple1) -> rule2)) -> rule3) triple5) -> rule4) OR ((((triple4 ((triple5 triple4) -> rule5)) -> rule2) ((triple1 ((triple1 triple7) -> rule3)) -> rule1)) -> rule6) OR ((((((triple1 triple6) -> rule1) triple1) -> rule2) ((triple1 ((triple1 triple7) -> rule3)) -> rule1)) -> rule6) OR ((((((triple1 triple6) -> rule1) ((triple5 triple4) -> rule5)) -> rule2) ((triple1 triple6) -> rule1)) -> rule6) OR ((((((triple1 triple6) -> rule1) ((triple5 triple4) -> rule5)) -> rule2) ((triple1 ((triple1 triple7) -> rule3)) -> rule1)) -> rule6) OR ((((triple1 ((triple4 ((triple5 triple4) -> rule5)) -> rule2)) -> rule3) triple5) -> rule4) OR ((((((triple5 triple4) -> rule5) ((triple4 ((triple5 triple4) -> rule5)) -> rule2)) -> rule3) triple5) -> rule4))] Anne is kind.[(triple3 OR ((triple2 triple4) -> rule7) OR ((triple2 ((triple2) -> rule8)) -> rule7) OR ((triple2 ((triple1 triple6) -> rule1)) -> rule7) OR ((((triple6 triple5) -> rule4) triple4) -> rule7) OR ((((triple7 triple4) -> rule6) triple4) -> rule7) OR ((((triple6 triple5) -> rule4) ((triple2) -> rule8)) -> rule7) OR ((((triple6 triple5) -> rule4) ((triple1 triple6) -> rule1)) -> rule7) OR ((((triple7 triple4) -> rule6) ((triple2) -> rule8)) -> rule7) OR ((((triple7 triple4) -> rule6) ((triple1 triple6) -> rule1)) -> rule7) OR ((triple2 ((((triple6 triple5) -> rule4)) -> rule8)) -> rule7) OR ((triple2 ((triple1 ((triple1 triple7) -> rule3)) -> rule1)) -> rule7) OR ((((triple7 ((triple1 triple6) -> rule1)) -> rule6) triple4) -> rule7) OR ((((((triple1 triple7) -> rule3) triple5) -> rule4) triple4) -> rule7) OR ((((((triple4 triple1) -> rule2) triple4) -> rule6) triple4) -> rule7) OR ((((triple6 triple5) -> rule4) ((((triple6 triple5) -> rule4)) -> rule8)) -> rule7) OR ((((triple6 triple5) -> rule4) ((triple1 ((triple1 triple7) -> rule3)) -> rule1)) -> rule7) OR ((((triple7 triple4) -> rule6) ((((triple6 triple5) -> rule4)) -> rule8)) -> rule7) OR ((((triple7 triple4) -> rule6) ((triple1 ((triple1 triple7) -> rule3)) -> rule1)) -> rule7) OR ((((triple7 ((triple1 triple6) -> rule1)) -> rule6) ((triple2) -> rule8)) -> rule7) OR ((((triple7 ((triple1 triple6) -> rule1)) -> rule6) ((triple1 triple6) -> rule1)) -> rule7) OR ((((((triple1 triple7) -> rule3) triple5) -> rule4) ((triple2) -> rule8)) -> rule7) OR ((((((triple1 triple7) -> rule3) triple5) -> rule4) ((triple1 triple6) -> rule1)) -> rule7) OR ((((((triple4 triple1) -> rule2) triple4) -> rule6) ((triple2) -> rule8)) -> rule7) OR ((((((triple4 triple1) -> rule2) triple4) -> rule6) ((triple1 triple6) -> rule1)) -> rule7) OR ((((((triple4 triple1) -> rule2) ((triple1 triple6) -> rule1)) -> rule6) triple4) -> rule7) OR ((((triple7 ((triple1 triple6) -> rule1)) -> rule6) ((((triple6 triple5) -> rule4)) -> rule8)) -> rule7) OR ((((triple7 ((triple1 triple6) -> rule1)) -> rule6) ((triple1 ((triple1 triple7) -> rule3)) -> rule1)) -> rule7) OR ((((((triple1 triple7) -> rule3) triple5) -> rule4) ((((triple6 triple5) -> rule4)) -> rule8)) -> rule7) OR ((((((triple1 triple7) -> rule3) triple5) -> rule4) ((triple1 ((triple1 triple7) -> rule3)) -> rule1)) -> rule7) OR ((((((triple4 triple1) -> rule2) triple4) -> rule6) ((((triple6 triple5) -> rule4)) -> rule8)) -> rule7) OR ((((((triple4 triple1) -> rule2) triple4) -> rule6) ((triple1 ((triple1 triple7) -> rule3)) -> rule1)) -> rule7) OR ((((((triple4 triple1) -> rule2) ((triple1 triple6) -> rule1)) -> rule6) ((triple2) -> rule8)) -> rule7) OR ((((((triple4 triple1) -> rule2) ((triple1 triple6) -> rule1)) -> rule6) ((triple1 triple6) -> rule1)) -> rule7) OR ((((((triple4 triple1) -> rule2) ((triple1 triple6) -> rule1)) -> rule6) ((((triple6 triple5) -> rule4)) -> rule8)) -> rule7) OR ((((((triple4 triple1) -> rule2) ((triple1 triple6) -> rule1)) -> rule6) ((triple1 ((triple1 triple7) -> rule3)) -> rule1)) -> rule7) OR ((triple2 ((((((triple1 triple7) -> rule3) triple5) -> rule4)) -> rule8)) -> rule7) OR ((((triple7 ((triple1 ((triple1 triple7) -> rule3)) -> rule1)) -> rule6) triple4) -> rule7) OR ((((((triple1 ((triple4 triple1) -> rule2)) -> rule3) triple5) -> rule4) triple4) -> rule7) OR ((((((triple4 ((triple5 triple4) -> rule5)) -> rule2) triple4) -> rule6) triple4) -> rule7) OR ((((((((triple1 triple6) -> rule1) triple1) -> rule2) triple4) -> rule6) triple4) -> rule7) OR ((((((((triple5 triple4) -> rule5) triple7) -> rule3) triple5) -> rule4) triple4) -> rule7) OR ((((triple6 triple5) -> rule4) ((((((triple1 triple7) -> rule3) triple5) -> rule4)) -> rule8)) -> rule7) OR ((((triple7 triple4) -> rule6) ((((((triple1 triple7) -> rule3) triple5) -> rule4)) -> rule8)) -> rule7) OR ((((triple7 ((triple1 ((triple1 triple7) -> rule3)) -> rule1)) -> rule6) ((triple2) -> rule8)) -> rule7) OR ((((triple7 ((triple1 ((triple1 triple7) -> rule3)) -> rule1)) -> rule6) ((triple1 triple6) -> rule1)) -> rule7) OR ((((((triple1 ((triple4 triple1) -> rule2)) -> rule3) triple5) -> rule4) ((triple2) -> rule8)) -> rule7) OR ((((((triple1 ((triple4 triple1) -> rule2)) -> rule3) triple5) -> rule4) ((triple1 triple6) -> rule1)) -> rule7) OR ((((((triple4 triple1) -> rule2) ((triple1 ((triple1 triple7) -> rule3)) -> rule1)) -> rule6) triple4) -> rule7) OR ((((((triple4 ((triple5 triple4) -> rule5)) -> rule2) triple4) -> rule6) ((triple2) -> rule8)) -> rule7) OR ((((((triple4 ((triple5 triple4) -> rule5)) -> rule2) triple4) -> rule6) ((triple1 triple6) -> rule1)) -> rule7) OR ((((((triple4 ((triple5 triple4) -> rule5)) -> rule2) ((triple1 triple6) -> rule1)) -> rule6) triple4) -> rule7) OR ((((((((triple1 triple6) -> rule1) triple1) -> rule2) triple4) -> rule6) ((triple2) -> rule8)) -> rule7) OR ((((((((triple1 triple6) -> rule1) triple1) -> rule2) triple4) -> rule6) ((triple1 triple6) -> rule1)) -> rule7) OR ((((((((triple1 triple6) -> rule1) triple1) -> rule2) ((triple1 triple6) -> rule1)) -> rule6) triple4) -> rule7) OR ((((((((triple1 triple6) -> rule1) ((triple5 triple4) -> rule5)) -> rule2) triple4) -> rule6) triple4) -> rule7) OR ((((((((triple5 triple4) -> rule5) triple7) -> rule3) triple5) -> rule4) ((triple2) -> rule8)) -> rule7) OR ((((((((triple5 triple4) -> rule5) triple7) -> rule3) triple5) -> rule4) ((triple1 triple6) -> rule1)) -> rule7) OR ((((((((triple5 triple4) -> rule5) ((triple4 triple1) -> rule2)) -> rule3) triple5) -> rule4) triple4) -> rule7) OR ((((triple7 ((triple1 triple6) -> rule1)) -> rule6) ((((((triple1 triple7) -> rule3) triple5) -> rule4)) -> rule8)) -> rule7) OR ((((triple7 ((triple1 ((triple1 triple7) -> rule3)) -> rule1)) -> rule6) ((((triple6 triple5) -> rule4)) -> rule8)) -> rule7) OR ((((triple7 ((triple1 ((triple1 triple7) -> rule3)) -> rule1)) -> rule6) ((triple1 ((triple1 triple7) -> rule3)) -> rule1)) -> rule7) OR ((((((triple1 triple7) -> rule3) triple5) -> rule4) ((((((triple1 triple7) -> rule3) triple5) -> rule4)) -> rule8)) -> rule7) OR ((((((triple1 ((triple4 triple1) -> rule2)) -> rule3) triple5) -> rule4) ((((triple6 triple5) -> rule4)) -> rule8)) -> rule7) OR ((((((triple1 ((triple4 triple1) -> rule2)) -> rule3) triple5) -> rule4) ((triple1 ((triple1 triple7) -> rule3)) -> rule1)) -> rule7) OR ((((((triple4 triple1) -> rule2) triple4) -> rule6) ((((((triple1 triple7) -> rule3) triple5) -> rule4)) -> rule8)) -> rule7) OR ((((((triple4 triple1) -> rule2) ((triple1 ((triple1 triple7) -> rule3)) -> rule1)) -> rule6) ((triple2) -> rule8)) -> rule7) OR ((((((triple4 triple1) -> rule2) ((triple1 ((triple1 triple7) -> rule3)) -> rule1)) -> rule6) ((triple1 triple6) -> rule1)) -> rule7) OR ((((((triple4 ((triple5 triple4) -> rule5)) -> rule2) triple4) -> rule6) ((((triple6 triple5) -> rule4)) -> rule8)) -> rule7) OR ((((((triple4 ((triple5 triple4) -> rule5)) -> rule2) triple4) -> rule6) ((triple1 ((triple1 triple7) -> rule3)) -> rule1)) -> rule7) OR ((((((triple4 ((triple5 triple4) -> rule5)) -> rule2) ((triple1 triple6) -> rule1)) -> rule6) ((triple2) -> rule8)) -> rule7) OR ((((((triple4 ((triple5 triple4) -> rule5)) -> rule2) ((triple1 triple6) -> rule1)) -> rule6) ((triple1 triple6) -> rule1)) -> rule7) OR ((((((triple4 ((triple5 triple4) -> rule5)) -> rule2) ((triple1 ((triple1 triple7) -> rule3)) -> rule1)) -> rule6) triple4) -> rule7) OR ((((((((triple1 triple6) -> rule1) triple1) -> rule2) triple4) -> rule6) ((((triple6 triple5) -> rule4)) -> rule8)) -> rule7) OR ((((((((triple1 triple6) -> rule1) triple1) -> rule2) triple4) -> rule6) ((triple1 ((triple1 triple7) -> rule3)) -> rule1)) -> rule7) OR ((((((((triple1 triple6) -> rule1) triple1) -> rule2) ((triple1 triple6) -> rule1)) -> rule6) ((triple2) -> rule8)) -> rule7) OR ((((((((triple1 triple6) -> rule1) triple1) -> rule2) ((triple1 triple6) -> rule1)) -> rule6) ((triple1 triple6) -> rule1)) -> rule7) OR ((((((((triple1 triple6) -> rule1) triple1) -> rule2) ((triple1 ((triple1 triple7) -> rule3)) -> rule1)) -> rule6) triple4) -> rule7) OR ((((((((triple1 triple6) -> rule1) ((triple5 triple4) -> rule5)) -> rule2) triple4) -> rule6) ((triple2) -> rule8)) -> rule7) OR ((((((((triple1 triple6) -> rule1) ((triple5 triple4) -> rule5)) -> rule2) triple4) -> rule6) ((triple1 triple6) -> rule1)) -> rule7) OR ((((((((triple1 triple6) -> rule1) ((triple5 triple4) -> rule5)) -> rule2) ((triple1 triple6) -> rule1)) -> rule6) triple4) -> rule7) OR ((((((((triple5 triple4) -> rule5) triple7) -> rule3) triple5) -> rule4) ((((triple6 triple5) -> rule4)) -> rule8)) -> rule7) OR ((((((((triple5 triple4) -> rule5) triple7) -> rule3) triple5) -> rule4) ((triple1 ((triple1 triple7) -> rule3)) -> rule1)) -> rule7) OR ((((((((triple5 triple4) -> rule5) ((triple4 triple1) -> rule2)) -> rule3) triple5) -> rule4) ((triple2) -> rule8)) -> rule7) OR ((((((((triple5 triple4) -> rule5) ((triple4 triple1) -> rule2)) -> rule3) triple5) -> rule4) ((triple1 triple6) -> rule1)) -> rule7) OR ((((triple7 ((triple1 ((triple1 triple7) -> rule3)) -> rule1)) -> rule6) ((((((triple1 triple7) -> rule3) triple5) -> rule4)) -> rule8)) -> rule7) OR ((((((triple1 ((triple4 triple1) -> rule2)) -> rule3) triple5) -> rule4) ((((((triple1 triple7) -> rule3) triple5) -> rule4)) -> rule8)) -> rule7) OR ((((((triple4 triple1) -> rule2) ((triple1 triple6) -> rule1)) -> rule6) ((((((triple1 triple7) -> rule3) triple5) -> rule4)) -> rule8)) -> rule7) OR ((((((triple4 triple1) -> rule2) ((triple1 ((triple1 triple7) -> rule3)) -> rule1)) -> rule6) ((((triple6 triple5) -> rule4)) -> rule8)) -> rule7) OR ((((((triple4 triple1) -> rule2) ((triple1 ((triple1 triple7) -> rule3)) -> rule1)) -> rule6) ((triple1 ((triple1 triple7) -> rule3)) -> rule1)) -> rule7) OR ((((((triple4 ((triple5 triple4) -> rule5)) -> rule2) triple4) -> rule6) ((((((triple1 triple7) -> rule3) triple5) -> rule4)) -> rule8)) -> rule7) OR ((((((triple4 ((triple5 triple4) -> rule5)) -> rule2) ((triple1 triple6) -> rule1)) -> rule6) ((((triple6 triple5) -> rule4)) -> rule8)) -> rule7) OR ((((((triple4 ((triple5 triple4) -> rule5)) -> rule2) ((triple1 triple6) -> rule1)) -> rule6) ((triple1 ((triple1 triple7) -> rule3)) -> rule1)) -> rule7) OR ((((((triple4 ((triple5 triple4) -> rule5)) -> rule2) ((triple1 ((triple1 triple7) -> rule3)) -> rule1)) -> rule6) ((triple2) -> rule8)) -> rule7) OR ((((((triple4 ((triple5 triple4) -> rule5)) -> rule2) ((triple1 ((triple1 triple7) -> rule3)) -> rule1)) -> rule6) ((triple1 triple6) -> rule1)) -> rule7) OR ((((((((triple1 triple6) -> rule1) triple1) -> rule2) triple4) -> rule6) ((((((triple1 triple7) -> rule3) triple5) -> rule4)) -> rule8)) -> rule7) OR ((((((((triple1 triple6) -> rule1) triple1) -> rule2) ((triple1 triple6) -> rule1)) -> rule6) ((((triple6 triple5) -> rule4)) -> rule8)) -> rule7) OR ((((((((triple1 triple6) -> rule1) triple1) -> rule2) ((triple1 triple6) -> rule1)) -> rule6) ((triple1 ((triple1 triple7) -> rule3)) -> rule1)) -> rule7) OR ((((((((triple1 triple6) -> rule1) triple1) -> rule2) ((triple1 ((triple1 triple7) -> rule3)) -> rule1)) -> rule6) ((triple2) -> rule8)) -> rule7) OR ((((((((triple1 triple6) -> rule1) triple1) -> rule2) ((triple1 ((triple1 triple7) -> rule3)) -> rule1)) -> rule6) ((triple1 triple6) -> rule1)) -> rule7) OR ((((((((triple1 triple6) -> rule1) ((triple5 triple4) -> rule5)) -> rule2) triple4) -> rule6) ((((triple6 triple5) -> rule4)) -> rule8)) -> rule7) OR ((((((((triple1 triple6) -> rule1) ((triple5 triple4) -> rule5)) -> rule2) triple4) -> rule6) ((triple1 ((triple1 triple7) -> rule3)) -> rule1)) -> rule7) OR ((((((((triple1 triple6) -> rule1) ((triple5 triple4) -> rule5)) -> rule2) ((triple1 triple6) -> rule1)) -> rule6) ((triple2) -> rule8)) -> rule7) OR ((((((((triple1 triple6) -> rule1) ((triple5 triple4) -> rule5)) -> rule2) ((triple1 triple6) -> rule1)) -> rule6) ((triple1 triple6) -> rule1)) -> rule7) OR ((((((((triple1 triple6) -> rule1) ((triple5 triple4) -> rule5)) -> rule2) ((triple1 ((triple1 triple7) -> rule3)) -> rule1)) -> rule6) triple4) -> rule7) OR ((((((((triple5 triple4) -> rule5) triple7) -> rule3) triple5) -> rule4) ((((((triple1 triple7) -> rule3) triple5) -> rule4)) -> rule8)) -> rule7) OR ((((((((triple5 triple4) -> rule5) ((triple4 triple1) -> rule2)) -> rule3) triple5) -> rule4) ((((triple6 triple5) -> rule4)) -> rule8)) -> rule7) OR ((((((((triple5 triple4) -> rule5) ((triple4 triple1) -> rule2)) -> rule3) triple5) -> rule4) ((triple1 ((triple1 triple7) -> rule3)) -> rule1)) -> rule7) OR ((((((triple4 triple1) -> rule2) ((triple1 ((triple1 triple7) -> rule3)) -> rule1)) -> rule6) ((((((triple1 triple7) -> rule3) triple5) -> rule4)) -> rule8)) -> rule7) OR ((((((triple4 ((triple5 triple4) -> rule5)) -> rule2) ((triple1 triple6) -> rule1)) -> rule6) ((((((triple1 triple7) -> rule3) triple5) -> rule4)) -> rule8)) -> rule7) OR ((((((triple4 ((triple5 triple4) -> rule5)) -> rule2) ((triple1 ((triple1 triple7) -> rule3)) -> rule1)) -> rule6) ((((triple6 triple5) -> rule4)) -> rule8)) -> rule7) OR ((((((triple4 ((triple5 triple4) -> rule5)) -> rule2) ((triple1 ((triple1 triple7) -> rule3)) -> rule1)) -> rule6) ((triple1 ((triple1 triple7) -> rule3)) -> rule1)) -> rule7) OR ((((((((triple1 triple6) -> rule1) triple1) -> rule2) ((triple1 triple6) -> rule1)) -> rule6) ((((((triple1 triple7) -> rule3) triple5) -> rule4)) -> rule8)) -> rule7) OR ((((((((triple1 triple6) -> rule1) triple1) -> rule2) ((triple1 ((triple1 triple7) -> rule3)) -> rule1)) -> rule6) ((((triple6 triple5) -> rule4)) -> rule8)) -> rule7) OR ((((((((triple1 triple6) -> rule1) triple1) -> rule2) ((triple1 ((triple1 triple7) -> rule3)) -> rule1)) -> rule6) ((triple1 ((triple1 triple7) -> rule3)) -> rule1)) -> rule7) OR ((((((((triple1 triple6) -> rule1) ((triple5 triple4) -> rule5)) -> rule2) triple4) -> rule6) ((((((triple1 triple7) -> rule3) triple5) -> rule4)) -> rule8)) -> rule7) OR ((((((((triple1 triple6) -> rule1) ((triple5 triple4) -> rule5)) -> rule2) ((triple1 triple6) -> rule1)) -> rule6) ((((triple6 triple5) -> rule4)) -> rule8)) -> rule7) OR ((((((((triple1 triple6) -> rule1) ((triple5 triple4) -> rule5)) -> rule2) ((triple1 triple6) -> rule1)) -> rule6) ((triple1 ((triple1 triple7) -> rule3)) -> rule1)) -> rule7) OR ((((((((triple1 triple6) -> rule1) ((triple5 triple4) -> rule5)) -> rule2) ((triple1 ((triple1 triple7) -> rule3)) -> rule1)) -> rule6) ((triple2) -> rule8)) -> rule7) OR ((((((((triple1 triple6) -> rule1) ((triple5 triple4) -> rule5)) -> rule2) ((triple1 ((triple1 triple7) -> rule3)) -> rule1)) -> rule6) ((triple1 triple6) -> rule1)) -> rule7) OR ((((((((triple5 triple4) -> rule5) ((triple4 triple1) -> rule2)) -> rule3) triple5) -> rule4) ((((((triple1 triple7) -> rule3) triple5) -> rule4)) -> rule8)) -> rule7) OR ((((((triple4 ((triple5 triple4) -> rule5)) -> rule2) ((triple1 ((triple1 triple7) -> rule3)) -> rule1)) -> rule6) ((((((triple1 triple7) -> rule3) triple5) -> rule4)) -> rule8)) -> rule7) OR ((((((((triple1 triple6) -> rule1) triple1) -> rule2) ((triple1 ((triple1 triple7) -> rule3)) -> rule1)) -> rule6) ((((((triple1 triple7) -> rule3) triple5) -> rule4)) -> rule8)) -> rule7) OR ((((((((triple1 triple6) -> rule1) ((triple5 triple4) -> rule5)) -> rule2) ((triple1 triple6) -> rule1)) -> rule6) ((((((triple1 triple7) -> rule3) triple5) -> rule4)) -> rule8)) -> rule7) OR ((((((((triple1 triple6) -> rule1) ((triple5 triple4) -> rule5)) -> rule2) ((triple1 ((triple1 triple7) -> rule3)) -> rule1)) -> rule6) ((((triple6 triple5) -> rule4)) -> rule8)) -> rule7) OR ((((((((triple1 triple6) -> rule1) ((triple5 triple4) -> rule5)) -> rule2) ((triple1 ((triple1 triple7) -> rule3)) -> rule1)) -> rule6) ((triple1 ((triple1 triple7) -> rule3)) -> rule1)) -> rule7) OR ((((((((triple1 triple6) -> rule1) ((triple5 triple4) -> rule5)) -> rule2) ((triple1 ((triple1 triple7) -> rule3)) -> rule1)) -> rule6) ((((((triple1 triple7) -> rule3) triple5) -> rule4)) -> rule8)) -> rule7) OR ((((((triple1 ((triple4 ((triple5 triple4) -> rule5)) -> rule2)) -> rule3) triple5) -> rule4) triple4) -> rule7) OR ((((((triple1 ((triple4 ((triple5 triple4) -> rule5)) -> rule2)) -> rule3) triple5) -> rule4) ((triple2) -> rule8)) -> rule7) OR ((((((triple1 ((triple4 ((triple5 triple4) -> rule5)) -> rule2)) -> rule3) triple5) -> rule4) ((triple1 triple6) -> rule1)) -> rule7) OR ((((((((triple5 triple4) -> rule5) ((triple4 ((triple5 triple4) -> rule5)) -> rule2)) -> rule3) triple5) -> rule4) triple4) -> rule7) OR ((((((triple1 ((triple4 ((triple5 triple4) -> rule5)) -> rule2)) -> rule3) triple5) -> rule4) ((((triple6 triple5) -> rule4)) -> rule8)) -> rule7) OR ((((((triple1 ((triple4 ((triple5 triple4) -> rule5)) -> rule2)) -> rule3) triple5) -> rule4) ((triple1 ((triple1 triple7) -> rule3)) -> rule1)) -> rule7) OR ((((((((triple5 triple4) -> rule5) ((triple4 ((triple5 triple4) -> rule5)) -> rule2)) -> rule3) triple5) -> rule4) ((triple2) -> rule8)) -> rule7) OR ((((((((triple5 triple4) -> rule5) ((triple4 ((triple5 triple4) -> rule5)) -> rule2)) -> rule3) triple5) -> rule4) ((triple1 triple6) -> rule1)) -> rule7) OR ((((((triple1 ((triple4 ((triple5 triple4) -> rule5)) -> rule2)) -> rule3) triple5) -> rule4) ((((((triple1 triple7) -> rule3) triple5) -> rule4)) -> rule8)) -> rule7) OR ((((((((triple5 triple4) -> rule5) ((triple4 ((triple5 triple4) -> rule5)) -> rule2)) -> rule3) triple5) -> rule4) ((((triple6 triple5) -> rule4)) -> rule8)) -> rule7) OR ((((((((triple5 triple4) -> rule5) ((triple4 ((triple5 triple4) -> rule5)) -> rule2)) -> rule3) triple5) -> rule4) ((triple1 ((triple1 triple7) -> rule3)) -> rule1)) -> rule7) OR ((((((((triple5 triple4) -> rule5) ((triple4 ((triple5 triple4) -> rule5)) -> rule2)) -> rule3) triple5) -> rule4) ((((((triple1 triple7) -> rule3) triple5) -> rule4)) -> rule8)) -> rule7))] Anne is nice.[(triple4 OR ((triple2) -> rule8) OR ((triple1 triple6) -> rule1) OR ((((triple6 triple5) -> rule4)) -> rule8) OR ((triple1 ((triple1 triple7) -> rule3)) -> rule1) OR ((((((triple1 triple7) -> rule3) triple5) -> rule4)) -> rule8))] Anne is red.[(triple5)] Anne is round.[(triple6 OR ((triple1 triple7) -> rule3) OR ((triple1 ((triple4 triple1) -> rule2)) -> rule3) OR ((((triple5 triple4) -> rule5) triple7) -> rule3) OR ((((triple5 triple4) -> rule5) ((triple4 triple1) -> rule2)) -> rule3) OR ((triple1 ((triple4 ((triple5 triple4) -> rule5)) -> rule2)) -> rule3) OR ((triple1 ((((triple2) -> rule8) triple1) -> rule2)) -> rule3) OR ((((triple5 ((triple2) -> rule8)) -> rule5) triple7) -> rule3) OR ((triple1 ((((triple2) -> rule8) ((triple5 triple4) -> rule5)) -> rule2)) -> rule3) OR ((((triple5 triple4) -> rule5) ((triple4 ((triple5 triple4) -> rule5)) -> rule2)) -> rule3) OR ((((triple5 triple4) -> rule5) ((((triple2) -> rule8) triple1) -> rule2)) -> rule3) OR ((((triple5 ((triple2) -> rule8)) -> rule5) ((triple4 triple1) -> rule2)) -> rule3) OR ((((triple5 triple4) -> rule5) ((((triple2) -> rule8) ((triple5 triple4) -> rule5)) -> rule2)) -> rule3) OR ((((triple5 ((triple2) -> rule8)) -> rule5) ((triple4 ((triple5 triple4) -> rule5)) -> rule2)) -> rule3) OR ((((triple5 ((triple2) -> rule8)) -> rule5) ((((triple2) -> rule8) triple1) -> rule2)) -> rule3) OR ((((triple5 ((triple2) -> rule8)) -> rule5) ((((triple2) -> rule8) ((triple5 triple4) -> rule5)) -> rule2)) -> rule3) OR ((triple1 ((triple4 ((triple5 ((triple2) -> rule8)) -> rule5)) -> rule2)) -> rule3) OR ((triple1 ((((triple2) -> rule8) ((triple5 ((triple2) -> rule8)) -> rule5)) -> rule2)) -> rule3) OR ((((triple5 triple4) -> rule5) ((triple4 ((triple5 ((triple2) -> rule8)) -> rule5)) -> rule2)) -> rule3) OR ((((triple5 triple4) -> rule5) ((((triple2) -> rule8) ((triple5 ((triple2) -> rule8)) -> rule5)) -> rule2)) -> rule3) OR ((((triple5 ((triple2) -> rule8)) -> rule5) ((triple4 ((triple5 ((triple2) -> rule8)) -> rule5)) -> rule2)) -> rule3) OR ((((triple5 ((triple2) -> rule8)) -> rule5) ((((triple2) -> rule8) ((triple5 ((triple2) -> rule8)) -> rule5)) -> rule2)) -> rule3))] Anne is young.[(triple7 OR ((triple4 triple1) -> rule2) OR ((triple4 ((triple5 triple4) -> rule5)) -> rule2) OR ((((triple2) -> rule8) triple1) -> rule2) OR ((((triple1 triple6) -> rule1) triple1) -> rule2) OR ((((triple2) -> rule8) ((triple5 triple4) -> rule5)) -> rule2) OR ((((triple1 triple6) -> rule1) ((triple5 triple4) -> rule5)) -> rule2) OR ((triple4 ((triple5 ((triple2) -> rule8)) -> rule5)) -> rule2) OR ((((((triple6 triple5) -> rule4)) -> rule8) triple1) -> rule2) OR ((((triple2) -> rule8) ((triple5 ((triple2) -> rule8)) -> rule5)) -> rule2) OR ((((((triple6 triple5) -> rule4)) -> rule8) ((triple5 triple4) -> rule5)) -> rule2) OR ((((triple1 triple6) -> rule1) ((triple5 ((triple2) -> rule8)) -> rule5)) -> rule2) OR ((((((triple6 triple5) -> rule4)) -> rule8) ((triple5 ((triple2) -> rule8)) -> rule5)) -> rule2) OR ((triple4 ((triple5 ((((triple6 triple5) -> rule4)) -> rule8)) -> rule5)) -> rule2) OR ((((triple2) -> rule8) ((triple5 ((((triple6 triple5) -> rule4)) -> rule8)) -> rule5)) -> rule2) OR ((((triple1 triple6) -> rule1) ((triple5 ((((triple6 triple5) -> rule4)) -> rule8)) -> rule5)) -> rule2) OR ((((((triple6 triple5) -> rule4)) -> rule8) ((triple5 ((((triple6 triple5) -> rule4)) -> rule8)) -> rule5)) -> rule2))] Gary is big.[(triple8 OR ((triple12 triple11) -> rule5) OR ((triple12 ((triple9) -> rule8)) -> rule5))] Gary is blue.[(triple9 OR ((((triple11 triple8) -> rule2) triple11) -> rule6) OR ((((triple11 ((triple12 triple11) -> rule5)) -> rule2) triple11) -> rule6) OR ((((triple8 ((triple11 triple8) -> rule2)) -> rule3) triple12) -> rule4) OR ((((((triple12 triple11) -> rule5) ((triple11 triple8) -> rule2)) -> rule3) triple12) -> rule4) OR ((((triple8 ((triple11 ((triple12 triple11) -> rule5)) -> rule2)) -> rule3) triple12) -> rule4) OR ((((((triple12 triple11) -> rule5) ((triple11 ((triple12 triple11) -> rule5)) -> rule2)) -> rule3) triple12) -> rule4))] Gary is kind.[(triple10 OR ((triple9 triple11) -> rule7) OR ((triple9 ((triple9) -> rule8)) -> rule7) OR ((((((triple11 triple8) -> rule2) triple11) -> rule6) triple11) -> rule7) OR ((((((triple11 triple8) -> rule2) triple11) -> rule6) ((triple9) -> rule8)) -> rule7) OR ((((((triple11 ((triple12 triple11) -> rule5)) -> rule2) triple11) -> rule6) triple11) -> rule7) OR ((((((triple8 ((triple11 triple8) -> rule2)) -> rule3) triple12) -> rule4) triple11) -> rule7) OR ((((((triple11 ((triple12 triple11) -> rule5)) -> rule2) triple11) -> rule6) ((triple9) -> rule8)) -> rule7) OR ((((((triple8 ((triple11 triple8) -> rule2)) -> rule3) triple12) -> rule4) ((triple9) -> rule8)) -> rule7) OR ((((((((triple12 triple11) -> rule5) ((triple11 triple8) -> rule2)) -> rule3) triple12) -> rule4) triple11) -> rule7) OR ((((((((triple12 triple11) -> rule5) ((triple11 triple8) -> rule2)) -> rule3) triple12) -> rule4) ((triple9) -> rule8)) -> rule7) OR ((((((triple8 ((triple11 ((triple12 triple11) -> rule5)) -> rule2)) -> rule3) triple12) -> rule4) triple11) -> rule7) OR ((((((triple8 ((triple11 ((triple12 triple11) -> rule5)) -> rule2)) -> rule3) triple12) -> rule4) ((triple9) -> rule8)) -> rule7) OR ((((((((triple12 triple11) -> rule5) ((triple11 ((triple12 triple11) -> rule5)) -> rule2)) -> rule3) triple12) -> rule4) triple11) -> rule7) OR ((((((((triple12 triple11) -> rule5) ((triple11 ((triple12 triple11) -> rule5)) -> rule2)) -> rule3) triple12) -> rule4) ((triple9) -> rule8)) -> rule7))] Gary is nice.[(triple11 OR ((triple9) -> rule8))] Gary is red.[(triple12)] @1: Gary is young.[(((triple11 triple8) -> rule2) OR ((triple11 ((triple12 triple11) -> rule5)) -> rule2) OR ((((triple9) -> rule8) triple8) -> rule2) OR ((((triple9) -> rule8) ((triple12 triple11) -> rule5)) -> rule2) OR ((triple11 ((triple12 ((triple9) -> rule8)) -> rule5)) -> rule2) OR ((((triple9) -> rule8) ((triple12 ((triple9) -> rule8)) -> rule5)) -> rule2))] @2: Gary is round.[(((triple8 ((triple11 triple8) -> rule2)) -> rule3) OR ((((triple12 triple11) -> rule5) ((triple11 triple8) -> rule2)) -> rule3) OR ((triple8 ((triple11 ((triple12 triple11) -> rule5)) -> rule2)) -> rule3) OR ((triple8 ((((triple9) -> rule8) triple8) -> rule2)) -> rule3) OR ((triple8 ((((triple9) -> rule8) ((triple12 triple11) -> rule5)) -> rule2)) -> rule3) OR ((((triple12 triple11) -> rule5) ((triple11 ((triple12 triple11) -> rule5)) -> rule2)) -> rule3) OR ((((triple12 triple11) -> rule5) ((((triple9) -> rule8) triple8) -> rule2)) -> rule3) OR ((((triple12 ((triple9) -> rule8)) -> rule5) ((triple11 triple8) -> rule2)) -> rule3) OR ((((triple12 triple11) -> rule5) ((((triple9) -> rule8) ((triple12 triple11) -> rule5)) -> rule2)) -> rule3) OR ((((triple12 ((triple9) -> rule8)) -> rule5) ((triple11 ((triple12 triple11) -> rule5)) -> rule2)) -> rule3) OR ((((triple12 ((triple9) -> rule8)) -> rule5) ((((triple9) -> rule8) triple8) -> rule2)) -> rule3) OR ((((triple12 ((triple9) -> rule8)) -> rule5) ((((triple9) -> rule8) ((triple12 triple11) -> rule5)) -> rule2)) -> rule3) OR ((triple8 ((triple11 ((triple12 ((triple9) -> rule8)) -> rule5)) -> rule2)) -> rule3) OR ((triple8 ((((triple9) -> rule8) ((triple12 ((triple9) -> rule8)) -> rule5)) -> rule2)) -> rule3) OR ((((triple12 triple11) -> rule5) ((triple11 ((triple12 ((triple9) -> rule8)) -> rule5)) -> rule2)) -> rule3) OR ((((triple12 triple11) -> rule5) ((((triple9) -> rule8) ((triple12 ((triple9) -> rule8)) -> rule5)) -> rule2)) -> rule3) OR ((((triple12 ((triple9) -> rule8)) -> rule5) ((triple11 ((triple12 ((triple9) -> rule8)) -> rule5)) -> rule2)) -> rule3) OR ((((triple12 ((triple9) -> rule8)) -> rule5) ((((triple9) -> rule8) ((triple12 ((triple9) -> rule8)) -> rule5)) -> rule2)) -> rule3))]