Bob is furry. Bob is green. Bob is nice. Bob is round. Bob is smart. Charlie is big. Charlie is cold. Charlie is furry. Charlie is green. Charlie is nice. Charlie is round. Charlie is smart. Fiona is furry. Fiona is green. Fiona is nice. Fiona is round. All cold people are big. If Charlie is nice then Charlie is green. All furry people are nice. Smart people are round. If Bob is nice then Bob is cold. Nice, green people are big. If someone is furry and nice then they are cold. If someone is big and cold then they are smart.
Bob is big.
@0: Bob is furry.[(triple1)] Bob is green.[(triple2)] Bob is nice.[(triple3 OR ((triple1) -> rule3))] Bob is round.[(triple4 OR ((triple5) -> rule4) OR ((((((triple3 triple2) -> rule6) ((triple3) -> rule5)) -> rule8)) -> rule4) OR ((((((triple3 triple2) -> rule6) ((triple1 triple3) -> rule7)) -> rule8)) -> rule4) OR ((((((((triple3) -> rule5)) -> rule1) ((triple3) -> rule5)) -> rule8)) -> rule4) OR ((((((((triple3) -> rule5)) -> rule1) ((triple1 triple3) -> rule7)) -> rule8)) -> rule4) OR ((((((((triple1 triple3) -> rule7)) -> rule1) ((triple3) -> rule5)) -> rule8)) -> rule4) OR ((((((((triple1 triple3) -> rule7)) -> rule1) ((triple1 triple3) -> rule7)) -> rule8)) -> rule4) OR ((((((triple3 triple2) -> rule6) ((((triple1) -> rule3)) -> rule5)) -> rule8)) -> rule4) OR ((((((triple3 triple2) -> rule6) ((triple1 ((triple1) -> rule3)) -> rule7)) -> rule8)) -> rule4) OR ((((((((triple1) -> rule3) triple2) -> rule6) ((triple3) -> rule5)) -> rule8)) -> rule4) OR ((((((((triple1) -> rule3) triple2) -> rule6) ((triple1 triple3) -> rule7)) -> rule8)) -> rule4) OR ((((((((triple3) -> rule5)) -> rule1) ((((triple1) -> rule3)) -> rule5)) -> rule8)) -> rule4) OR ((((((((triple3) -> rule5)) -> rule1) ((triple1 ((triple1) -> rule3)) -> rule7)) -> rule8)) -> rule4) OR ((((((((triple1 triple3) -> rule7)) -> rule1) ((((triple1) -> rule3)) -> rule5)) -> rule8)) -> rule4) OR ((((((((triple1 triple3) -> rule7)) -> rule1) ((triple1 ((triple1) -> rule3)) -> rule7)) -> rule8)) -> rule4) OR ((((((((triple1) -> rule3) triple2) -> rule6) ((((triple1) -> rule3)) -> rule5)) -> rule8)) -> rule4) OR ((((((((triple1) -> rule3) triple2) -> rule6) ((triple1 ((triple1) -> rule3)) -> rule7)) -> rule8)) -> rule4) OR ((((((((((triple1) -> rule3)) -> rule5)) -> rule1) ((triple3) -> rule5)) -> rule8)) -> rule4) OR ((((((((((triple1) -> rule3)) -> rule5)) -> rule1) ((triple1 triple3) -> rule7)) -> rule8)) -> rule4) OR ((((((((triple1 ((triple1) -> rule3)) -> rule7)) -> rule1) ((triple3) -> rule5)) -> rule8)) -> rule4) OR ((((((((triple1 ((triple1) -> rule3)) -> rule7)) -> rule1) ((triple1 triple3) -> rule7)) -> rule8)) -> rule4) OR ((((((((((triple1) -> rule3)) -> rule5)) -> rule1) ((((triple1) -> rule3)) -> rule5)) -> rule8)) -> rule4) OR ((((((((((triple1) -> rule3)) -> rule5)) -> rule1) ((triple1 ((triple1) -> rule3)) -> rule7)) -> rule8)) -> rule4) OR ((((((((triple1 ((triple1) -> rule3)) -> rule7)) -> rule1) ((((triple1) -> rule3)) -> rule5)) -> rule8)) -> rule4) OR ((((((((triple1 ((triple1) -> rule3)) -> rule7)) -> rule1) ((triple1 ((triple1) -> rule3)) -> rule7)) -> rule8)) -> rule4))] Bob is smart.[(triple5 OR ((((triple3 triple2) -> rule6) ((triple3) -> rule5)) -> rule8) OR ((((triple3 triple2) -> rule6) ((triple1 triple3) -> rule7)) -> rule8) OR ((((((triple3) -> rule5)) -> rule1) ((triple3) -> rule5)) -> rule8) OR ((((((triple3) -> rule5)) -> rule1) ((triple1 triple3) -> rule7)) -> rule8) OR ((((((triple1 triple3) -> rule7)) -> rule1) ((triple3) -> rule5)) -> rule8) OR ((((((triple1 triple3) -> rule7)) -> rule1) ((triple1 triple3) -> rule7)) -> rule8) OR ((((triple3 triple2) -> rule6) ((((triple1) -> rule3)) -> rule5)) -> rule8) OR ((((triple3 triple2) -> rule6) ((triple1 ((triple1) -> rule3)) -> rule7)) -> rule8) OR ((((((triple1) -> rule3) triple2) -> rule6) ((triple3) -> rule5)) -> rule8) OR ((((((triple1) -> rule3) triple2) -> rule6) ((triple1 triple3) -> rule7)) -> rule8) OR ((((((triple3) -> rule5)) -> rule1) ((((triple1) -> rule3)) -> rule5)) -> rule8) OR ((((((triple3) -> rule5)) -> rule1) ((triple1 ((triple1) -> rule3)) -> rule7)) -> rule8) OR ((((((triple1 triple3) -> rule7)) -> rule1) ((((triple1) -> rule3)) -> rule5)) -> rule8) OR ((((((triple1 triple3) -> rule7)) -> rule1) ((triple1 ((triple1) -> rule3)) -> rule7)) -> rule8) OR ((((((triple1) -> rule3) triple2) -> rule6) ((((triple1) -> rule3)) -> rule5)) -> rule8) OR ((((((triple1) -> rule3) triple2) -> rule6) ((triple1 ((triple1) -> rule3)) -> rule7)) -> rule8) OR ((((((((triple1) -> rule3)) -> rule5)) -> rule1) ((triple3) -> rule5)) -> rule8) OR ((((((((triple1) -> rule3)) -> rule5)) -> rule1) ((triple1 triple3) -> rule7)) -> rule8) OR ((((((triple1 ((triple1) -> rule3)) -> rule7)) -> rule1) ((triple3) -> rule5)) -> rule8) OR ((((((triple1 ((triple1) -> rule3)) -> rule7)) -> rule1) ((triple1 triple3) -> rule7)) -> rule8) OR ((((((((triple1) -> rule3)) -> rule5)) -> rule1) ((((triple1) -> rule3)) -> rule5)) -> rule8) OR ((((((((triple1) -> rule3)) -> rule5)) -> rule1) ((triple1 ((triple1) -> rule3)) -> rule7)) -> rule8) OR ((((((triple1 ((triple1) -> rule3)) -> rule7)) -> rule1) ((((triple1) -> rule3)) -> rule5)) -> rule8) OR ((((((triple1 ((triple1) -> rule3)) -> rule7)) -> rule1) ((triple1 ((triple1) -> rule3)) -> rule7)) -> rule8))] Charlie is big.[(triple6 OR ((triple7) -> rule1) OR ((triple10 triple9) -> rule6) OR ((((triple8 triple10) -> rule7)) -> rule1) OR ((triple10 ((triple10) -> rule2)) -> rule6) OR ((((triple8) -> rule3) triple9) -> rule6) OR ((((triple8) -> rule3) ((triple10) -> rule2)) -> rule6) OR ((((triple8 ((triple8) -> rule3)) -> rule7)) -> rule1) OR ((triple10 ((((triple8) -> rule3)) -> rule2)) -> rule6) OR ((((triple8) -> rule3) ((((triple8) -> rule3)) -> rule2)) -> rule6))] Charlie is cold.[(triple7 OR ((triple8 triple10) -> rule7) OR ((triple8 ((triple8) -> rule3)) -> rule7))] Charlie is furry.[(triple8)] Charlie is green.[(triple9 OR ((triple10) -> rule2) OR ((((triple8) -> rule3)) -> rule2))] Charlie is nice.[(triple10 OR ((triple8) -> rule3))] Charlie is round.[(triple11 OR ((triple12) -> rule4) OR ((((triple6 triple7) -> rule8)) -> rule4) OR ((((triple6 ((triple8 triple10) -> rule7)) -> rule8)) -> rule4) OR ((((((triple7) -> rule1) triple7) -> rule8)) -> rule4) OR ((((((triple10 triple9) -> rule6) triple7) -> rule8)) -> rule4) OR ((((((triple7) -> rule1) ((triple8 triple10) -> rule7)) -> rule8)) -> rule4) OR ((((((triple10 triple9) -> rule6) ((triple8 triple10) -> rule7)) -> rule8)) -> rule4) OR ((((triple6 ((triple8 ((triple8) -> rule3)) -> rule7)) -> rule8)) -> rule4) OR ((((((((triple8 triple10) -> rule7)) -> rule1) triple7) -> rule8)) -> rule4) OR ((((((triple10 ((triple10) -> rule2)) -> rule6) triple7) -> rule8)) -> rule4) OR ((((((((triple8) -> rule3) triple9) -> rule6) triple7) -> rule8)) -> rule4) OR ((((((triple7) -> rule1) ((triple8 ((triple8) -> rule3)) -> rule7)) -> rule8)) -> rule4) OR ((((((((triple8 triple10) -> rule7)) -> rule1) ((triple8 triple10) -> rule7)) -> rule8)) -> rule4) OR ((((((triple10 triple9) -> rule6) ((triple8 ((triple8) -> rule3)) -> rule7)) -> rule8)) -> rule4) OR ((((((triple10 ((triple10) -> rule2)) -> rule6) ((triple8 triple10) -> rule7)) -> rule8)) -> rule4) OR ((((((((triple8) -> rule3) triple9) -> rule6) ((triple8 triple10) -> rule7)) -> rule8)) -> rule4) OR ((((((((triple8) -> rule3) ((triple10) -> rule2)) -> rule6) triple7) -> rule8)) -> rule4) OR ((((((((triple8 triple10) -> rule7)) -> rule1) ((triple8 ((triple8) -> rule3)) -> rule7)) -> rule8)) -> rule4) OR ((((((triple10 ((triple10) -> rule2)) -> rule6) ((triple8 ((triple8) -> rule3)) -> rule7)) -> rule8)) -> rule4) OR ((((((((triple8) -> rule3) triple9) -> rule6) ((triple8 ((triple8) -> rule3)) -> rule7)) -> rule8)) -> rule4) OR ((((((((triple8) -> rule3) ((triple10) -> rule2)) -> rule6) ((triple8 triple10) -> rule7)) -> rule8)) -> rule4) OR ((((((((triple8) -> rule3) ((triple10) -> rule2)) -> rule6) ((triple8 ((triple8) -> rule3)) -> rule7)) -> rule8)) -> rule4) OR ((((((((triple8 ((triple8) -> rule3)) -> rule7)) -> rule1) triple7) -> rule8)) -> rule4) OR ((((((triple10 ((((triple8) -> rule3)) -> rule2)) -> rule6) triple7) -> rule8)) -> rule4) OR ((((((((triple8 ((triple8) -> rule3)) -> rule7)) -> rule1) ((triple8 triple10) -> rule7)) -> rule8)) -> rule4) OR ((((((triple10 ((((triple8) -> rule3)) -> rule2)) -> rule6) ((triple8 triple10) -> rule7)) -> rule8)) -> rule4) OR ((((((((triple8) -> rule3) ((((triple8) -> rule3)) -> rule2)) -> rule6) triple7) -> rule8)) -> rule4) OR ((((((((triple8 ((triple8) -> rule3)) -> rule7)) -> rule1) ((triple8 ((triple8) -> rule3)) -> rule7)) -> rule8)) -> rule4) OR ((((((triple10 ((((triple8) -> rule3)) -> rule2)) -> rule6) ((triple8 ((triple8) -> rule3)) -> rule7)) -> rule8)) -> rule4) OR ((((((((triple8) -> rule3) ((((triple8) -> rule3)) -> rule2)) -> rule6) ((triple8 triple10) -> rule7)) -> rule8)) -> rule4) OR ((((((((triple8) -> rule3) ((((triple8) -> rule3)) -> rule2)) -> rule6) ((triple8 ((triple8) -> rule3)) -> rule7)) -> rule8)) -> rule4))] Charlie is smart.[(triple12 OR ((triple6 triple7) -> rule8) OR ((triple6 ((triple8 triple10) -> rule7)) -> rule8) OR ((((triple7) -> rule1) triple7) -> rule8) OR ((((triple10 triple9) -> rule6) triple7) -> rule8) OR ((((triple7) -> rule1) ((triple8 triple10) -> rule7)) -> rule8) OR ((((triple10 triple9) -> rule6) ((triple8 triple10) -> rule7)) -> rule8) OR ((triple6 ((triple8 ((triple8) -> rule3)) -> rule7)) -> rule8) OR ((((((triple8 triple10) -> rule7)) -> rule1) triple7) -> rule8) OR ((((triple10 ((triple10) -> rule2)) -> rule6) triple7) -> rule8) OR ((((((triple8) -> rule3) triple9) -> rule6) triple7) -> rule8) OR ((((triple7) -> rule1) ((triple8 ((triple8) -> rule3)) -> rule7)) -> rule8) OR ((((((triple8 triple10) -> rule7)) -> rule1) ((triple8 triple10) -> rule7)) -> rule8) OR ((((triple10 triple9) -> rule6) ((triple8 ((triple8) -> rule3)) -> rule7)) -> rule8) OR ((((triple10 ((triple10) -> rule2)) -> rule6) ((triple8 triple10) -> rule7)) -> rule8) OR ((((((triple8) -> rule3) triple9) -> rule6) ((triple8 triple10) -> rule7)) -> rule8) OR ((((((triple8) -> rule3) ((triple10) -> rule2)) -> rule6) triple7) -> rule8) OR ((((((triple8 triple10) -> rule7)) -> rule1) ((triple8 ((triple8) -> rule3)) -> rule7)) -> rule8) OR ((((triple10 ((triple10) -> rule2)) -> rule6) ((triple8 ((triple8) -> rule3)) -> rule7)) -> rule8) OR ((((((triple8) -> rule3) triple9) -> rule6) ((triple8 ((triple8) -> rule3)) -> rule7)) -> rule8) OR ((((((triple8) -> rule3) ((triple10) -> rule2)) -> rule6) ((triple8 triple10) -> rule7)) -> rule8) OR ((((((triple8) -> rule3) ((triple10) -> rule2)) -> rule6) ((triple8 ((triple8) -> rule3)) -> rule7)) -> rule8) OR ((((((triple8 ((triple8) -> rule3)) -> rule7)) -> rule1) triple7) -> rule8) OR ((((triple10 ((((triple8) -> rule3)) -> rule2)) -> rule6) triple7) -> rule8) OR ((((((triple8 ((triple8) -> rule3)) -> rule7)) -> rule1) ((triple8 triple10) -> rule7)) -> rule8) OR ((((triple10 ((((triple8) -> rule3)) -> rule2)) -> rule6) ((triple8 triple10) -> rule7)) -> rule8) OR ((((((triple8) -> rule3) ((((triple8) -> rule3)) -> rule2)) -> rule6) triple7) -> rule8) OR ((((((triple8 ((triple8) -> rule3)) -> rule7)) -> rule1) ((triple8 ((triple8) -> rule3)) -> rule7)) -> rule8) OR ((((triple10 ((((triple8) -> rule3)) -> rule2)) -> rule6) ((triple8 ((triple8) -> rule3)) -> rule7)) -> rule8) OR ((((((triple8) -> rule3) ((((triple8) -> rule3)) -> rule2)) -> rule6) ((triple8 triple10) -> rule7)) -> rule8) OR ((((((triple8) -> rule3) ((((triple8) -> rule3)) -> rule2)) -> rule6) ((triple8 ((triple8) -> rule3)) -> rule7)) -> rule8))] Fiona is furry.[(triple13)] Fiona is green.[(triple14)] Fiona is nice.[(triple15 OR ((triple13) -> rule3))] Fiona is round.[(triple16 OR ((((((triple15 triple14) -> rule6) ((triple13 triple15) -> rule7)) -> rule8)) -> rule4) OR ((((((((triple13 triple15) -> rule7)) -> rule1) ((triple13 triple15) -> rule7)) -> rule8)) -> rule4) OR ((((((triple15 triple14) -> rule6) ((triple13 ((triple13) -> rule3)) -> rule7)) -> rule8)) -> rule4) OR ((((((((triple13) -> rule3) triple14) -> rule6) ((triple13 triple15) -> rule7)) -> rule8)) -> rule4) OR ((((((((triple13 triple15) -> rule7)) -> rule1) ((triple13 ((triple13) -> rule3)) -> rule7)) -> rule8)) -> rule4) OR ((((((((triple13) -> rule3) triple14) -> rule6) ((triple13 ((triple13) -> rule3)) -> rule7)) -> rule8)) -> rule4) OR ((((((((triple13 ((triple13) -> rule3)) -> rule7)) -> rule1) ((triple13 triple15) -> rule7)) -> rule8)) -> rule4) OR ((((((((triple13 ((triple13) -> rule3)) -> rule7)) -> rule1) ((triple13 ((triple13) -> rule3)) -> rule7)) -> rule8)) -> rule4))] @1: Bob is big.[(((triple3 triple2) -> rule6) OR ((((triple3) -> rule5)) -> rule1) OR ((((triple1 triple3) -> rule7)) -> rule1) OR ((((triple1) -> rule3) triple2) -> rule6) OR ((((((triple1) -> rule3)) -> rule5)) -> rule1) OR ((((triple1 ((triple1) -> rule3)) -> rule7)) -> rule1))] Bob is cold.[(((triple3) -> rule5) OR ((triple1 triple3) -> rule7) OR ((((triple1) -> rule3)) -> rule5) OR ((triple1 ((triple1) -> rule3)) -> rule7))] Fiona is big.[(((triple15 triple14) -> rule6) OR ((((triple13 triple15) -> rule7)) -> rule1) OR ((((triple13) -> rule3) triple14) -> rule6) OR ((((triple13 ((triple13) -> rule3)) -> rule7)) -> rule1))] Fiona is cold.[(((triple13 triple15) -> rule7) OR ((triple13 ((triple13) -> rule3)) -> rule7))] @2: Fiona is smart.[(((((triple15 triple14) -> rule6) ((triple13 triple15) -> rule7)) -> rule8) OR ((((((triple13 triple15) -> rule7)) -> rule1) ((triple13 triple15) -> rule7)) -> rule8) OR ((((triple15 triple14) -> rule6) ((triple13 ((triple13) -> rule3)) -> rule7)) -> rule8) OR ((((((triple13) -> rule3) triple14) -> rule6) ((triple13 triple15) -> rule7)) -> rule8) OR ((((((triple13 triple15) -> rule7)) -> rule1) ((triple13 ((triple13) -> rule3)) -> rule7)) -> rule8) OR ((((((triple13) -> rule3) triple14) -> rule6) ((triple13 ((triple13) -> rule3)) -> rule7)) -> rule8) OR ((((((triple13 ((triple13) -> rule3)) -> rule7)) -> rule1) ((triple13 triple15) -> rule7)) -> rule8) OR ((((((triple13 ((triple13) -> rule3)) -> rule7)) -> rule1) ((triple13 ((triple13) -> rule3)) -> rule7)) -> rule8))]