Charlie is big. Charlie is blue. Charlie is kind. Charlie is nice. Charlie is red. Charlie is smart. Charlie is young. Dave is blue. Dave is kind. Dave is nice. Dave is smart. Dave is young. Erin is big. Erin is smart. Harry is blue. Harry is nice. If something is kind then it is red. Red things are smart. All red, smart things are blue. Kind things are big. If something is blue and nice then it is big. Big, smart things are red. If something is young then it is smart. If something is nice then it is big.
Charlie is young.
@0: Charlie is big.[(triple1 OR ((triple3) -> rule4) OR ((triple4) -> rule8) OR ((triple2 triple4) -> rule5) OR ((((triple5 triple6) -> rule3) triple4) -> rule5) OR ((((triple5 ((triple5) -> rule2)) -> rule3) triple4) -> rule5) OR ((((triple5 ((triple7) -> rule7)) -> rule3) triple4) -> rule5) OR ((((((triple3) -> rule1) triple6) -> rule3) triple4) -> rule5) OR ((((((triple3) -> rule1) ((triple5) -> rule2)) -> rule3) triple4) -> rule5) OR ((((((triple3) -> rule1) ((triple7) -> rule7)) -> rule3) triple4) -> rule5) OR ((((triple5 ((((triple3) -> rule1)) -> rule2)) -> rule3) triple4) -> rule5) OR ((((((triple3) -> rule1) ((((triple3) -> rule1)) -> rule2)) -> rule3) triple4) -> rule5))] Charlie is blue.[(triple2 OR ((triple5 triple6) -> rule3) OR ((triple5 ((triple5) -> rule2)) -> rule3) OR ((triple5 ((triple7) -> rule7)) -> rule3) OR ((((triple3) -> rule1) triple6) -> rule3) OR ((((triple1 triple6) -> rule6) triple6) -> rule3) OR ((((triple3) -> rule1) ((triple5) -> rule2)) -> rule3) OR ((((triple3) -> rule1) ((triple7) -> rule7)) -> rule3) OR ((((triple1 triple6) -> rule6) ((triple5) -> rule2)) -> rule3) OR ((((triple1 triple6) -> rule6) ((triple7) -> rule7)) -> rule3) OR ((triple5 ((((triple3) -> rule1)) -> rule2)) -> rule3) OR ((((triple1 ((triple7) -> rule7)) -> rule6) triple6) -> rule3) OR ((((((triple3) -> rule4) triple6) -> rule6) triple6) -> rule3) OR ((((((triple4) -> rule8) triple6) -> rule6) triple6) -> rule3) OR ((((triple3) -> rule1) ((((triple3) -> rule1)) -> rule2)) -> rule3) OR ((((triple1 triple6) -> rule6) ((((triple3) -> rule1)) -> rule2)) -> rule3) OR ((((triple1 ((triple7) -> rule7)) -> rule6) ((triple5) -> rule2)) -> rule3) OR ((((triple1 ((triple7) -> rule7)) -> rule6) ((triple7) -> rule7)) -> rule3) OR ((((((triple3) -> rule4) triple6) -> rule6) ((triple5) -> rule2)) -> rule3) OR ((((((triple3) -> rule4) triple6) -> rule6) ((triple7) -> rule7)) -> rule3) OR ((((((triple3) -> rule4) ((triple7) -> rule7)) -> rule6) triple6) -> rule3) OR ((((((triple4) -> rule8) triple6) -> rule6) ((triple5) -> rule2)) -> rule3) OR ((((((triple4) -> rule8) triple6) -> rule6) ((triple7) -> rule7)) -> rule3) OR ((((((triple4) -> rule8) ((triple7) -> rule7)) -> rule6) triple6) -> rule3) OR ((((triple1 ((triple7) -> rule7)) -> rule6) ((((triple3) -> rule1)) -> rule2)) -> rule3) OR ((((((triple3) -> rule4) triple6) -> rule6) ((((triple3) -> rule1)) -> rule2)) -> rule3) OR ((((((triple3) -> rule4) ((triple7) -> rule7)) -> rule6) ((triple5) -> rule2)) -> rule3) OR ((((((triple3) -> rule4) ((triple7) -> rule7)) -> rule6) ((triple7) -> rule7)) -> rule3) OR ((((((triple4) -> rule8) triple6) -> rule6) ((((triple3) -> rule1)) -> rule2)) -> rule3) OR ((((((triple4) -> rule8) ((triple7) -> rule7)) -> rule6) ((triple5) -> rule2)) -> rule3) OR ((((((triple4) -> rule8) ((triple7) -> rule7)) -> rule6) ((triple7) -> rule7)) -> rule3) OR ((((((triple3) -> rule4) ((triple7) -> rule7)) -> rule6) ((((triple3) -> rule1)) -> rule2)) -> rule3) OR ((((((triple4) -> rule8) ((triple7) -> rule7)) -> rule6) ((((triple3) -> rule1)) -> rule2)) -> rule3))] Charlie is kind.[(triple3)] Charlie is nice.[(triple4)] Charlie is red.[(triple5 OR ((triple3) -> rule1) OR ((triple1 triple6) -> rule6) OR ((triple1 ((triple7) -> rule7)) -> rule6) OR ((((triple3) -> rule4) triple6) -> rule6) OR ((((triple4) -> rule8) triple6) -> rule6) OR ((((triple2 triple4) -> rule5) triple6) -> rule6) OR ((((triple3) -> rule4) ((triple7) -> rule7)) -> rule6) OR ((((triple4) -> rule8) ((triple7) -> rule7)) -> rule6) OR ((((triple2 triple4) -> rule5) ((triple7) -> rule7)) -> rule6))] Charlie is smart.[(triple6 OR ((triple5) -> rule2) OR ((triple7) -> rule7) OR ((((triple3) -> rule1)) -> rule2))] Charlie is young.[(triple7)] Dave is blue.[(triple8 OR ((((triple9) -> rule1) triple11) -> rule3) OR ((((triple9) -> rule1) ((triple12) -> rule7)) -> rule3) OR ((((((triple10) -> rule8) triple11) -> rule6) triple11) -> rule3) OR ((((((triple9) -> rule4) triple11) -> rule6) triple11) -> rule3) OR ((((triple9) -> rule1) ((((triple9) -> rule1)) -> rule2)) -> rule3) OR ((((((triple10) -> rule8) triple11) -> rule6) ((triple12) -> rule7)) -> rule3) OR ((((((triple10) -> rule8) ((triple12) -> rule7)) -> rule6) triple11) -> rule3) OR ((((((triple9) -> rule4) triple11) -> rule6) ((triple12) -> rule7)) -> rule3) OR ((((((triple9) -> rule4) ((triple12) -> rule7)) -> rule6) triple11) -> rule3) OR ((((((triple10) -> rule8) triple11) -> rule6) ((((triple9) -> rule1)) -> rule2)) -> rule3) OR ((((((triple10) -> rule8) ((triple12) -> rule7)) -> rule6) ((triple12) -> rule7)) -> rule3) OR ((((((triple9) -> rule4) triple11) -> rule6) ((((triple9) -> rule1)) -> rule2)) -> rule3) OR ((((((triple9) -> rule4) ((triple12) -> rule7)) -> rule6) ((triple12) -> rule7)) -> rule3) OR ((((((triple10) -> rule8) ((triple12) -> rule7)) -> rule6) ((((triple9) -> rule1)) -> rule2)) -> rule3) OR ((((((triple9) -> rule4) ((triple12) -> rule7)) -> rule6) ((((triple9) -> rule1)) -> rule2)) -> rule3))] Dave is kind.[(triple9)] Dave is nice.[(triple10)] Dave is smart.[(triple11 OR ((triple12) -> rule7) OR ((((triple9) -> rule1)) -> rule2))] Dave is young.[(triple12)] Erin is big.[(triple13)] Erin is smart.[(triple14)] Harry is blue.[(triple15)] Harry is nice.[(triple16)] @1: Dave is big.[(((triple10) -> rule8) OR ((triple9) -> rule4) OR ((triple8 triple10) -> rule5) OR ((((((triple9) -> rule1) triple11) -> rule3) triple10) -> rule5) OR ((((((triple9) -> rule1) ((triple12) -> rule7)) -> rule3) triple10) -> rule5) OR ((((((triple9) -> rule1) ((((triple9) -> rule1)) -> rule2)) -> rule3) triple10) -> rule5))] Dave is red.[(((triple9) -> rule1) OR ((((triple10) -> rule8) triple11) -> rule6) OR ((((triple9) -> rule4) triple11) -> rule6) OR ((((triple8 triple10) -> rule5) triple11) -> rule6) OR ((((triple10) -> rule8) ((triple12) -> rule7)) -> rule6) OR ((((triple9) -> rule4) ((triple12) -> rule7)) -> rule6) OR ((((triple8 triple10) -> rule5) ((triple12) -> rule7)) -> rule6))] Erin is red.[(((triple13 triple14) -> rule6))] Harry is big.[(((triple16) -> rule8) OR ((triple15 triple16) -> rule5))] @2: Erin is blue.[(((((triple13 triple14) -> rule6) triple14) -> rule3))]