Bob is big. Bob is blue. Bob is nice. Bob is red. Bob is white. Bob is young. Dave is blue. Dave is green. Dave is nice. Dave is red. Dave is young. Erin is blue. Erin is green. Erin is red. Erin is white. If Erin is green then Erin is red. Green, big things are blue. If Erin is young then Erin is white. All nice things are green. If something is nice and green then it is young. If Bob is nice and Bob is green then Bob is big.
Bob is green.
@0: Bob is big.[(triple1 OR ((triple3 ((triple3) -> rule4)) -> rule6))] Bob is blue.[(triple2 OR ((((triple3) -> rule4) triple1) -> rule2) OR ((((triple3) -> rule4) ((triple3 ((triple3) -> rule4)) -> rule6)) -> rule2))] Bob is nice.[(triple3)] Bob is red.[(triple4)] Bob is white.[(triple5)] Bob is young.[(triple6 OR ((triple3 ((triple3) -> rule4)) -> rule5))] Dave is blue.[(triple7)] Dave is green.[(triple8 OR ((triple9) -> rule4))] Dave is nice.[(triple9)] Dave is red.[(triple10)] Dave is young.[(triple11 OR ((triple9 triple8) -> rule5) OR ((triple9 ((triple9) -> rule4)) -> rule5))] Erin is blue.[(triple12)] Erin is green.[(triple13)] Erin is red.[(triple14 OR ((triple13) -> rule1))] Erin is white.[(triple15)] @1: Bob is green.[(((triple3) -> rule4))]