Bob is nice. Bob is quiet. Dave is nice. Dave is red. Dave is young. Erin is big. Erin is nice. Erin is smart. Erin is young. Gary is big. Gary is smart. Gary is young. If something is young then it is quiet. If something is young and smart then it is nice. If something is nice then it is quiet. If something is smart then it is young. Nice, smart things are quiet. Cold things are red.
Dave is cold.
@0: Bob is nice.[(triple1)] Bob is quiet.[(triple2 OR ((triple1) -> rule3))] Dave is nice.[(triple3)] Dave is red.[(triple4)] Dave is young.[(triple5)] Erin is big.[(triple6)] Erin is nice.[(triple7 OR ((triple9 triple8) -> rule2) OR ((((triple8) -> rule4) triple8) -> rule2))] Erin is smart.[(triple8)] Erin is young.[(triple9 OR ((triple8) -> rule4))] Gary is big.[(triple10)] Gary is smart.[(triple11)] Gary is young.[(triple12 OR ((triple11) -> rule4))] @1: Dave is quiet.[(((triple3) -> rule3) OR ((triple5) -> rule1))] Erin is quiet.[(((triple7) -> rule3) OR ((triple9) -> rule1) OR ((triple7 triple8) -> rule5) OR ((((triple8) -> rule4)) -> rule1) OR ((((triple9 triple8) -> rule2)) -> rule3) OR ((((triple9 triple8) -> rule2) triple8) -> rule5) OR ((((((triple8) -> rule4) triple8) -> rule2)) -> rule3) OR ((((((triple8) -> rule4) triple8) -> rule2) triple8) -> rule5))] Gary is nice.[(((triple12 triple11) -> rule2) OR ((((triple11) -> rule4) triple11) -> rule2))] Gary is quiet.[(((triple12) -> rule1) OR ((((triple11) -> rule4)) -> rule1) OR ((((triple12 triple11) -> rule2)) -> rule3) OR ((((triple12 triple11) -> rule2) triple11) -> rule5) OR ((((((triple11) -> rule4) triple11) -> rule2)) -> rule3) OR ((((((triple11) -> rule4) triple11) -> rule2) triple11) -> rule5))]