Bob is furry. Bob is green. Bob is quiet. Bob is red. Bob is rough. Fiona is cold. Fiona is furry. Fiona is green. Fiona is quiet. Fiona is red. Fiona is rough. Fiona is smart. If something is green then it is rough. If Bob is green and Bob is red then Bob is cold. If something is green and rough then it is red. Cold things are quiet. If something is green then it is furry. Red, green things are quiet. Quiet, cold things are smart. If Fiona is rough and Fiona is green then Fiona is red.
Bob is rough.
@0: Bob is furry.[(triple1 OR ((triple2) -> rule5))] Bob is green.[(triple2)] Bob is quiet.[(triple3 OR ((triple4 triple2) -> rule6) OR ((((triple2 triple4) -> rule2)) -> rule4) OR ((((triple2 triple5) -> rule3) triple2) -> rule6) OR ((((triple2 ((triple2 triple5) -> rule3)) -> rule2)) -> rule4) OR ((((triple2 ((triple2) -> rule1)) -> rule3) triple2) -> rule6) OR ((((triple2 ((triple2 ((triple2) -> rule1)) -> rule3)) -> rule2)) -> rule4))] Bob is red.[(triple4 OR ((triple2 triple5) -> rule3) OR ((triple2 ((triple2) -> rule1)) -> rule3))] Bob is rough.[(triple5 OR ((triple2) -> rule1))] Fiona is cold.[(triple6)] Fiona is furry.[(triple7 OR ((triple8) -> rule5))] Fiona is green.[(triple8)] Fiona is quiet.[(triple9 OR ((triple6) -> rule4) OR ((triple10 triple8) -> rule6) OR ((((triple11 triple8) -> rule8) triple8) -> rule6) OR ((((triple8 triple11) -> rule3) triple8) -> rule6) OR ((((triple8 ((triple8) -> rule1)) -> rule3) triple8) -> rule6) OR ((((((triple8) -> rule1) triple8) -> rule8) triple8) -> rule6))] Fiona is red.[(triple10 OR ((triple11 triple8) -> rule8) OR ((triple8 triple11) -> rule3) OR ((triple8 ((triple8) -> rule1)) -> rule3) OR ((((triple8) -> rule1) triple8) -> rule8))] Fiona is rough.[(triple11 OR ((triple8) -> rule1))] Fiona is smart.[(triple12 OR ((triple9 triple6) -> rule7) OR ((((triple6) -> rule4) triple6) -> rule7) OR ((((triple10 triple8) -> rule6) triple6) -> rule7) OR ((((((triple11 triple8) -> rule8) triple8) -> rule6) triple6) -> rule7) OR ((((((triple8 triple11) -> rule3) triple8) -> rule6) triple6) -> rule7) OR ((((((triple8 ((triple8) -> rule1)) -> rule3) triple8) -> rule6) triple6) -> rule7) OR ((((((((triple8) -> rule1) triple8) -> rule8) triple8) -> rule6) triple6) -> rule7))] @1: Bob is cold.[(((triple2 triple4) -> rule2) OR ((triple2 ((triple2 triple5) -> rule3)) -> rule2) OR ((triple2 ((triple2 ((triple2) -> rule1)) -> rule3)) -> rule2))] @2: Bob is smart.[(((triple3 ((triple2 triple4) -> rule2)) -> rule7) OR ((((triple4 triple2) -> rule6) ((triple2 triple4) -> rule2)) -> rule7) OR ((triple3 ((triple2 ((triple2 triple5) -> rule3)) -> rule2)) -> rule7) OR ((((((triple2 triple4) -> rule2)) -> rule4) ((triple2 triple4) -> rule2)) -> rule7) OR ((((triple4 triple2) -> rule6) ((triple2 ((triple2 triple5) -> rule3)) -> rule2)) -> rule7) OR ((((((triple2 triple5) -> rule3) triple2) -> rule6) ((triple2 triple4) -> rule2)) -> rule7) OR ((((((triple2 triple4) -> rule2)) -> rule4) ((triple2 ((triple2 triple5) -> rule3)) -> rule2)) -> rule7) OR ((((((triple2 triple5) -> rule3) triple2) -> rule6) ((triple2 ((triple2 triple5) -> rule3)) -> rule2)) -> rule7) OR ((triple3 ((triple2 ((triple2 ((triple2) -> rule1)) -> rule3)) -> rule2)) -> rule7) OR ((((((triple2 ((triple2 triple5) -> rule3)) -> rule2)) -> rule4) ((triple2 triple4) -> rule2)) -> rule7) OR ((((triple4 triple2) -> rule6) ((triple2 ((triple2 ((triple2) -> rule1)) -> rule3)) -> rule2)) -> rule7) OR ((((((triple2 ((triple2) -> rule1)) -> rule3) triple2) -> rule6) ((triple2 triple4) -> rule2)) -> rule7) OR ((((((triple2 triple4) -> rule2)) -> rule4) ((triple2 ((triple2 ((triple2) -> rule1)) -> rule3)) -> rule2)) -> rule7) OR ((((((triple2 ((triple2 triple5) -> rule3)) -> rule2)) -> rule4) ((triple2 ((triple2 triple5) -> rule3)) -> rule2)) -> rule7) OR ((((((triple2 triple5) -> rule3) triple2) -> rule6) ((triple2 ((triple2 ((triple2) -> rule1)) -> rule3)) -> rule2)) -> rule7) OR ((((((triple2 ((triple2) -> rule1)) -> rule3) triple2) -> rule6) ((triple2 ((triple2 triple5) -> rule3)) -> rule2)) -> rule7) OR ((((((triple2 ((triple2 triple5) -> rule3)) -> rule2)) -> rule4) ((triple2 ((triple2 ((triple2) -> rule1)) -> rule3)) -> rule2)) -> rule7) OR ((((((triple2 ((triple2) -> rule1)) -> rule3) triple2) -> rule6) ((triple2 ((triple2 ((triple2) -> rule1)) -> rule3)) -> rule2)) -> rule7) OR ((((((triple2 ((triple2 ((triple2) -> rule1)) -> rule3)) -> rule2)) -> rule4) ((triple2 triple4) -> rule2)) -> rule7) OR ((((((triple2 ((triple2 ((triple2) -> rule1)) -> rule3)) -> rule2)) -> rule4) ((triple2 ((triple2 triple5) -> rule3)) -> rule2)) -> rule7) OR ((((((triple2 ((triple2 ((triple2) -> rule1)) -> rule3)) -> rule2)) -> rule4) ((triple2 ((triple2 ((triple2) -> rule1)) -> rule3)) -> rule2)) -> rule7))]