Bob is nice. Bob is red. Bob is round. Bob is smart. Charlie is quiet. Charlie is red. Charlie is smart. Dave is big. Dave is blue. Dave is nice. Dave is quiet. Dave is not red. Dave is not round. Dave is smart. Erin is nice. Erin is round. Quiet things are smart. Red, big things are smart. All round things are red. Blue, nice things are not red. All red things are big. If something is red then it is big. If something is nice and not quiet then it is round. If Charlie is nice and Charlie is not big then Charlie is smart.
Bob is not big.
@0: Bob is nice.[(triple1)] Bob is red.[(triple2 OR ((triple3) -> rule3))] Bob is round.[(triple3)] Bob is smart.[(triple4 OR ((triple2 ((triple2) -> rule5)) -> rule2) OR ((triple2 ((triple2) -> rule6)) -> rule2) OR ((((triple3) -> rule3) ((triple2) -> rule5)) -> rule2) OR ((((triple3) -> rule3) ((triple2) -> rule6)) -> rule2) OR ((triple2 ((((triple3) -> rule3)) -> rule5)) -> rule2) OR ((triple2 ((((triple3) -> rule3)) -> rule6)) -> rule2) OR ((((triple3) -> rule3) ((((triple3) -> rule3)) -> rule5)) -> rule2) OR ((((triple3) -> rule3) ((((triple3) -> rule3)) -> rule6)) -> rule2))] Charlie is quiet.[(triple5)] Charlie is red.[(triple6)] Charlie is smart.[(triple7 OR ((triple5) -> rule1) OR ((triple6 ((triple6) -> rule5)) -> rule2) OR ((triple6 ((triple6) -> rule6)) -> rule2))] Dave is big.[(triple8)] Dave is blue.[(triple9)] Dave is nice.[(triple10)] Dave is not red.[(triple12 OR ((triple9 triple10) -> rule4))] Dave is not round.[(triple13)] Dave is quiet.[(triple11)] Dave is smart.[(triple14 OR ((triple11) -> rule1))] Erin is nice.[(triple15)] Erin is round.[(triple16)] @1: Bob is big.[(((triple2) -> rule5) OR ((triple2) -> rule6) OR ((((triple3) -> rule3)) -> rule5) OR ((((triple3) -> rule3)) -> rule6))] Charlie is big.[(((triple6) -> rule5) OR ((triple6) -> rule6))] Erin is red.[(((triple16) -> rule3))] @2: Erin is big.[(((((triple16) -> rule3)) -> rule5) OR ((((triple16) -> rule3)) -> rule6))] @3: Erin is smart.[(((((triple16) -> rule3) ((((triple16) -> rule3)) -> rule5)) -> rule2) OR ((((triple16) -> rule3) ((((triple16) -> rule3)) -> rule6)) -> rule2))]