Bob is blue. Bob is furry. Bob is smart. Bob is white. Dave is big. Dave is blue. Dave is rough. Dave is smart. Erin is big. Erin is blue. Erin is rough. Erin is young. If something is rough then it is big. Furry things are smart. If Bob is smart and Bob is young then Bob is blue. If something is white and rough then it is smart. All smart, furry things are blue. Blue things are young.
Dave is smart.
@0: Bob is blue.[(triple1 OR ((triple3 triple2) -> rule5) OR ((((triple2) -> rule2) triple2) -> rule5))] Bob is furry.[(triple2)] Bob is smart.[(triple3 OR ((triple2) -> rule2))] Bob is white.[(triple4)] Dave is big.[(triple5 OR ((triple7) -> rule1))] Dave is blue.[(triple6)] Dave is rough.[(triple7)] Dave is smart.[(triple8)] Erin is big.[(triple9 OR ((triple11) -> rule1))] Erin is blue.[(triple10)] Erin is rough.[(triple11)] Erin is young.[(triple12 OR ((triple10) -> rule6))] @1: Bob is young.[(((triple1) -> rule6) OR ((((triple3 triple2) -> rule5)) -> rule6) OR ((((((triple2) -> rule2) triple2) -> rule5)) -> rule6))] Dave is young.[(((triple6) -> rule6))]