Bob is big. Bob is furry. Bob is kind. Bob is nice. Bob is red. Bob is smart. Charlie is furry. Charlie is kind. Charlie is red. Charlie is round. All nice, smart people are furry. If someone is kind and red then they are nice. If someone is furry then they are red. Big, furry people are red. If Charlie is round then Charlie is furry. Nice people are smart. All smart, big people are nice. If someone is round and smart then they are big.
Charlie is smart.
@0: Bob is big.[(triple1)] Bob is furry.[(triple2 OR ((triple4 triple6) -> rule1) OR ((triple4 ((triple4) -> rule6)) -> rule1) OR ((((triple3 triple5) -> rule2) triple6) -> rule1) OR ((((triple6 triple1) -> rule7) triple6) -> rule1) OR ((((triple3 triple5) -> rule2) ((triple4) -> rule6)) -> rule1) OR ((((triple6 triple1) -> rule7) ((triple4) -> rule6)) -> rule1) OR ((triple4 ((((triple3 triple5) -> rule2)) -> rule6)) -> rule1) OR ((((triple3 triple5) -> rule2) ((((triple3 triple5) -> rule2)) -> rule6)) -> rule1) OR ((((triple6 triple1) -> rule7) ((((triple3 triple5) -> rule2)) -> rule6)) -> rule1))] Bob is kind.[(triple3)] Bob is nice.[(triple4 OR ((triple3 triple5) -> rule2) OR ((triple6 triple1) -> rule7) OR ((triple3 ((triple2) -> rule3)) -> rule2) OR ((triple3 ((triple1 triple2) -> rule4)) -> rule2))] Bob is red.[(triple5 OR ((triple2) -> rule3) OR ((triple1 triple2) -> rule4) OR ((((triple4 triple6) -> rule1)) -> rule3) OR ((triple1 ((triple4 triple6) -> rule1)) -> rule4) OR ((((triple4 ((triple4) -> rule6)) -> rule1)) -> rule3) OR ((((((triple6 triple1) -> rule7) triple6) -> rule1)) -> rule3) OR ((triple1 ((triple4 ((triple4) -> rule6)) -> rule1)) -> rule4) OR ((triple1 ((((triple6 triple1) -> rule7) triple6) -> rule1)) -> rule4) OR ((((((triple6 triple1) -> rule7) ((triple4) -> rule6)) -> rule1)) -> rule3) OR ((triple1 ((((triple6 triple1) -> rule7) ((triple4) -> rule6)) -> rule1)) -> rule4))] Bob is smart.[(triple6 OR ((triple4) -> rule6) OR ((((triple3 triple5) -> rule2)) -> rule6) OR ((((triple3 ((triple2) -> rule3)) -> rule2)) -> rule6) OR ((((triple3 ((triple1 triple2) -> rule4)) -> rule2)) -> rule6))] Charlie is furry.[(triple7 OR ((triple10) -> rule5) OR ((((triple8 triple9) -> rule2) ((((triple8 triple9) -> rule2)) -> rule6)) -> rule1))] Charlie is kind.[(triple8)] Charlie is red.[(triple9 OR ((triple7) -> rule3) OR ((((triple10) -> rule5)) -> rule3))] Charlie is round.[(triple10)] @1: Charlie is nice.[(((triple8 triple9) -> rule2) OR ((triple8 ((triple7) -> rule3)) -> rule2) OR ((triple8 ((((triple10) -> rule5)) -> rule3)) -> rule2))] @2: Charlie is smart.[(((((triple8 triple9) -> rule2)) -> rule6) OR ((((triple8 ((triple7) -> rule3)) -> rule2)) -> rule6) OR ((((triple8 ((((triple10) -> rule5)) -> rule3)) -> rule2)) -> rule6))] @3: Charlie is big.[(((triple10 ((((triple8 triple9) -> rule2)) -> rule6)) -> rule8) OR ((triple10 ((((triple8 ((triple7) -> rule3)) -> rule2)) -> rule6)) -> rule8) OR ((triple10 ((((triple8 ((((triple10) -> rule5)) -> rule3)) -> rule2)) -> rule6)) -> rule8))]