Bob is nice. Bob is red. Bob is young. Charlie is big. Charlie is blue. Charlie is kind. Charlie is nice. Charlie is red. Charlie is round. Charlie is young. Erin is kind. Erin is nice. Erin is round. Erin is young. Gary is blue. Gary is round. Round things are big. All red, young things are kind. If something is kind then it is blue. Big things are red. If something is red and nice then it is young. If something is red and blue then it is nice.
Gary is kind.
@0: Bob is nice.[(triple1 OR ((triple2 ((((triple2 triple3) -> rule2)) -> rule3)) -> rule6))] Bob is red.[(triple2)] Bob is young.[(triple3 OR ((triple2 triple1) -> rule5))] Charlie is big.[(triple4 OR ((triple9) -> rule1))] Charlie is blue.[(triple5 OR ((triple6) -> rule3) OR ((((triple8 triple10) -> rule2)) -> rule3) OR ((((triple8 ((triple8 triple7) -> rule5)) -> rule2)) -> rule3) OR ((((((triple4) -> rule4) triple10) -> rule2)) -> rule3) OR ((((((triple4) -> rule4) ((triple8 triple7) -> rule5)) -> rule2)) -> rule3) OR ((((triple8 ((((triple4) -> rule4) triple7) -> rule5)) -> rule2)) -> rule3) OR ((((((((triple9) -> rule1)) -> rule4) triple10) -> rule2)) -> rule3) OR ((((((triple4) -> rule4) ((((triple4) -> rule4) triple7) -> rule5)) -> rule2)) -> rule3) OR ((((((((triple9) -> rule1)) -> rule4) ((triple8 triple7) -> rule5)) -> rule2)) -> rule3) OR ((((((((triple9) -> rule1)) -> rule4) ((((triple4) -> rule4) triple7) -> rule5)) -> rule2)) -> rule3) OR ((((triple8 ((((((triple9) -> rule1)) -> rule4) triple7) -> rule5)) -> rule2)) -> rule3) OR ((((((triple4) -> rule4) ((((((triple9) -> rule1)) -> rule4) triple7) -> rule5)) -> rule2)) -> rule3) OR ((((((((triple9) -> rule1)) -> rule4) ((((((triple9) -> rule1)) -> rule4) triple7) -> rule5)) -> rule2)) -> rule3))] Charlie is kind.[(triple6 OR ((triple8 triple10) -> rule2) OR ((triple8 ((triple8 triple7) -> rule5)) -> rule2) OR ((((triple4) -> rule4) triple10) -> rule2) OR ((((triple4) -> rule4) ((triple8 triple7) -> rule5)) -> rule2) OR ((triple8 ((triple8 ((triple8 triple5) -> rule6)) -> rule5)) -> rule2) OR ((triple8 ((((triple4) -> rule4) triple7) -> rule5)) -> rule2) OR ((((((triple9) -> rule1)) -> rule4) triple10) -> rule2) OR ((triple8 ((((triple4) -> rule4) ((triple8 triple5) -> rule6)) -> rule5)) -> rule2) OR ((((triple4) -> rule4) ((triple8 ((triple8 triple5) -> rule6)) -> rule5)) -> rule2) OR ((((triple4) -> rule4) ((((triple4) -> rule4) triple7) -> rule5)) -> rule2) OR ((((((triple9) -> rule1)) -> rule4) ((triple8 triple7) -> rule5)) -> rule2) OR ((((triple4) -> rule4) ((((triple4) -> rule4) ((triple8 triple5) -> rule6)) -> rule5)) -> rule2) OR ((((((triple9) -> rule1)) -> rule4) ((triple8 ((triple8 triple5) -> rule6)) -> rule5)) -> rule2) OR ((((((triple9) -> rule1)) -> rule4) ((((triple4) -> rule4) triple7) -> rule5)) -> rule2) OR ((((((triple9) -> rule1)) -> rule4) ((((triple4) -> rule4) ((triple8 triple5) -> rule6)) -> rule5)) -> rule2) OR ((triple8 ((triple8 ((((triple4) -> rule4) triple5) -> rule6)) -> rule5)) -> rule2) OR ((triple8 ((((((triple9) -> rule1)) -> rule4) triple7) -> rule5)) -> rule2) OR ((triple8 ((((triple4) -> rule4) ((((triple4) -> rule4) triple5) -> rule6)) -> rule5)) -> rule2) OR ((triple8 ((((((triple9) -> rule1)) -> rule4) ((triple8 triple5) -> rule6)) -> rule5)) -> rule2) OR ((((triple4) -> rule4) ((triple8 ((((triple4) -> rule4) triple5) -> rule6)) -> rule5)) -> rule2) OR ((((triple4) -> rule4) ((((((triple9) -> rule1)) -> rule4) triple7) -> rule5)) -> rule2) OR ((triple8 ((((((triple9) -> rule1)) -> rule4) ((((triple4) -> rule4) triple5) -> rule6)) -> rule5)) -> rule2) OR ((((triple4) -> rule4) ((((triple4) -> rule4) ((((triple4) -> rule4) triple5) -> rule6)) -> rule5)) -> rule2) OR ((((triple4) -> rule4) ((((((triple9) -> rule1)) -> rule4) ((triple8 triple5) -> rule6)) -> rule5)) -> rule2) OR ((((((triple9) -> rule1)) -> rule4) ((triple8 ((((triple4) -> rule4) triple5) -> rule6)) -> rule5)) -> rule2) OR ((((((triple9) -> rule1)) -> rule4) ((((((triple9) -> rule1)) -> rule4) triple7) -> rule5)) -> rule2) OR ((((triple4) -> rule4) ((((((triple9) -> rule1)) -> rule4) ((((triple4) -> rule4) triple5) -> rule6)) -> rule5)) -> rule2) OR ((((((triple9) -> rule1)) -> rule4) ((((triple4) -> rule4) ((((triple4) -> rule4) triple5) -> rule6)) -> rule5)) -> rule2) OR ((((((triple9) -> rule1)) -> rule4) ((((((triple9) -> rule1)) -> rule4) ((triple8 triple5) -> rule6)) -> rule5)) -> rule2) OR ((((((triple9) -> rule1)) -> rule4) ((((((triple9) -> rule1)) -> rule4) ((((triple4) -> rule4) triple5) -> rule6)) -> rule5)) -> rule2) OR ((triple8 ((triple8 ((((((triple9) -> rule1)) -> rule4) triple5) -> rule6)) -> rule5)) -> rule2) OR ((triple8 ((((triple4) -> rule4) ((((((triple9) -> rule1)) -> rule4) triple5) -> rule6)) -> rule5)) -> rule2) OR ((((triple4) -> rule4) ((triple8 ((((((triple9) -> rule1)) -> rule4) triple5) -> rule6)) -> rule5)) -> rule2) OR ((triple8 ((((((triple9) -> rule1)) -> rule4) ((((((triple9) -> rule1)) -> rule4) triple5) -> rule6)) -> rule5)) -> rule2) OR ((((triple4) -> rule4) ((((triple4) -> rule4) ((((((triple9) -> rule1)) -> rule4) triple5) -> rule6)) -> rule5)) -> rule2) OR ((((((triple9) -> rule1)) -> rule4) ((triple8 ((((((triple9) -> rule1)) -> rule4) triple5) -> rule6)) -> rule5)) -> rule2) OR ((((triple4) -> rule4) ((((((triple9) -> rule1)) -> rule4) ((((((triple9) -> rule1)) -> rule4) triple5) -> rule6)) -> rule5)) -> rule2) OR ((((((triple9) -> rule1)) -> rule4) ((((triple4) -> rule4) ((((((triple9) -> rule1)) -> rule4) triple5) -> rule6)) -> rule5)) -> rule2) OR ((((((triple9) -> rule1)) -> rule4) ((((((triple9) -> rule1)) -> rule4) ((((((triple9) -> rule1)) -> rule4) triple5) -> rule6)) -> rule5)) -> rule2))] Charlie is nice.[(triple7 OR ((triple8 triple5) -> rule6) OR ((triple8 ((triple6) -> rule3)) -> rule6) OR ((((triple4) -> rule4) triple5) -> rule6) OR ((((triple4) -> rule4) ((triple6) -> rule3)) -> rule6) OR ((triple8 ((((triple8 triple10) -> rule2)) -> rule3)) -> rule6) OR ((((((triple9) -> rule1)) -> rule4) triple5) -> rule6) OR ((((triple4) -> rule4) ((((triple8 triple10) -> rule2)) -> rule3)) -> rule6) OR ((((((triple9) -> rule1)) -> rule4) ((triple6) -> rule3)) -> rule6) OR ((((((triple9) -> rule1)) -> rule4) ((((triple8 triple10) -> rule2)) -> rule3)) -> rule6) OR ((triple8 ((((((triple4) -> rule4) triple10) -> rule2)) -> rule3)) -> rule6) OR ((((triple4) -> rule4) ((((((triple4) -> rule4) triple10) -> rule2)) -> rule3)) -> rule6) OR ((((((triple9) -> rule1)) -> rule4) ((((((triple4) -> rule4) triple10) -> rule2)) -> rule3)) -> rule6) OR ((triple8 ((((((((triple9) -> rule1)) -> rule4) triple10) -> rule2)) -> rule3)) -> rule6) OR ((((triple4) -> rule4) ((((((((triple9) -> rule1)) -> rule4) triple10) -> rule2)) -> rule3)) -> rule6) OR ((((((triple9) -> rule1)) -> rule4) ((((((((triple9) -> rule1)) -> rule4) triple10) -> rule2)) -> rule3)) -> rule6))] Charlie is red.[(triple8 OR ((triple4) -> rule4) OR ((((triple9) -> rule1)) -> rule4))] Charlie is round.[(triple9)] Charlie is young.[(triple10 OR ((triple8 triple7) -> rule5) OR ((triple8 ((triple8 triple5) -> rule6)) -> rule5) OR ((((triple4) -> rule4) triple7) -> rule5) OR ((((triple4) -> rule4) ((triple8 triple5) -> rule6)) -> rule5) OR ((triple8 ((triple8 ((triple6) -> rule3)) -> rule6)) -> rule5) OR ((triple8 ((((triple4) -> rule4) triple5) -> rule6)) -> rule5) OR ((((((triple9) -> rule1)) -> rule4) triple7) -> rule5) OR ((triple8 ((((triple4) -> rule4) ((triple6) -> rule3)) -> rule6)) -> rule5) OR ((((triple4) -> rule4) ((triple8 ((triple6) -> rule3)) -> rule6)) -> rule5) OR ((((triple4) -> rule4) ((((triple4) -> rule4) triple5) -> rule6)) -> rule5) OR ((((((triple9) -> rule1)) -> rule4) ((triple8 triple5) -> rule6)) -> rule5) OR ((((triple4) -> rule4) ((((triple4) -> rule4) ((triple6) -> rule3)) -> rule6)) -> rule5) OR ((((((triple9) -> rule1)) -> rule4) ((triple8 ((triple6) -> rule3)) -> rule6)) -> rule5) OR ((((((triple9) -> rule1)) -> rule4) ((((triple4) -> rule4) triple5) -> rule6)) -> rule5) OR ((((((triple9) -> rule1)) -> rule4) ((((triple4) -> rule4) ((triple6) -> rule3)) -> rule6)) -> rule5) OR ((triple8 ((((((triple9) -> rule1)) -> rule4) triple5) -> rule6)) -> rule5) OR ((triple8 ((((((triple9) -> rule1)) -> rule4) ((triple6) -> rule3)) -> rule6)) -> rule5) OR ((((triple4) -> rule4) ((((((triple9) -> rule1)) -> rule4) triple5) -> rule6)) -> rule5) OR ((((triple4) -> rule4) ((((((triple9) -> rule1)) -> rule4) ((triple6) -> rule3)) -> rule6)) -> rule5) OR ((((((triple9) -> rule1)) -> rule4) ((((((triple9) -> rule1)) -> rule4) triple5) -> rule6)) -> rule5) OR ((((((triple9) -> rule1)) -> rule4) ((((((triple9) -> rule1)) -> rule4) ((triple6) -> rule3)) -> rule6)) -> rule5))] Erin is kind.[(triple11 OR ((((((triple13) -> rule1)) -> rule4) triple14) -> rule2) OR ((((((triple13) -> rule1)) -> rule4) ((((((triple13) -> rule1)) -> rule4) triple12) -> rule5)) -> rule2))] Erin is nice.[(triple12 OR ((((((triple13) -> rule1)) -> rule4) ((triple11) -> rule3)) -> rule6) OR ((((((triple13) -> rule1)) -> rule4) ((((((((triple13) -> rule1)) -> rule4) triple14) -> rule2)) -> rule3)) -> rule6))] Erin is round.[(triple13)] Erin is young.[(triple14 OR ((((((triple13) -> rule1)) -> rule4) triple12) -> rule5) OR ((((((triple13) -> rule1)) -> rule4) ((((((triple13) -> rule1)) -> rule4) ((triple11) -> rule3)) -> rule6)) -> rule5))] Gary is blue.[(triple15)] Gary is round.[(triple16)] @1: Bob is kind.[(((triple2 triple3) -> rule2) OR ((triple2 ((triple2 triple1) -> rule5)) -> rule2))] Erin is big.[(((triple13) -> rule1))] Erin is blue.[(((triple11) -> rule3) OR ((((((((triple13) -> rule1)) -> rule4) triple14) -> rule2)) -> rule3) OR ((((((((triple13) -> rule1)) -> rule4) ((((((triple13) -> rule1)) -> rule4) triple12) -> rule5)) -> rule2)) -> rule3))] Gary is big.[(((triple16) -> rule1))] @2: Bob is blue.[(((((triple2 triple3) -> rule2)) -> rule3) OR ((((triple2 ((triple2 triple1) -> rule5)) -> rule2)) -> rule3))] Erin is red.[(((((triple13) -> rule1)) -> rule4))] Gary is red.[(((((triple16) -> rule1)) -> rule4))] @3: Gary is nice.[(((((((triple16) -> rule1)) -> rule4) triple15) -> rule6))] @4: Gary is young.[(((((((triple16) -> rule1)) -> rule4) ((((((triple16) -> rule1)) -> rule4) triple15) -> rule6)) -> rule5))] @5: Gary is kind.[(((((((triple16) -> rule1)) -> rule4) ((((((triple16) -> rule1)) -> rule4) ((((((triple16) -> rule1)) -> rule4) triple15) -> rule6)) -> rule5)) -> rule2))]