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