Bob is green. Bob is nice. Bob is round. Bob is smart. Charlie is cold. Charlie is green. Charlie is nice. Charlie is red. Charlie is rough. Charlie is round. Charlie is smart. Fiona is cold. Fiona is green. Fiona is red. Fiona is rough. Fiona is smart. All smart things are nice. Cold, smart things are green. If something is rough then it is red. If something is green then it is round. If Charlie is red and Charlie is green then Charlie is cold. If Charlie is nice and Charlie is cold then Charlie is red. If something is round and nice then it is cold. If Bob is cold then Bob is rough.
Bob is not red.
@0: Bob is green.[(triple1 OR ((((triple3 triple2) -> rule7) triple4) -> rule2) OR ((((triple3 ((triple4) -> rule1)) -> rule7) triple4) -> rule2))] Bob is nice.[(triple2 OR ((triple4) -> rule1))] Bob is round.[(triple3 OR ((triple1) -> rule4))] Bob is smart.[(triple4)] Charlie is cold.[(triple5 OR ((triple10 triple7) -> rule7) OR ((triple8 triple6) -> rule5) OR ((triple10 ((triple11) -> rule1)) -> rule7) OR ((((triple6) -> rule4) triple7) -> rule7) OR ((((triple9) -> rule3) triple6) -> rule5) OR ((((triple6) -> rule4) ((triple11) -> rule1)) -> rule7))] Charlie is green.[(triple6 OR ((triple5 triple11) -> rule2) OR ((((triple10 triple7) -> rule7) triple11) -> rule2) OR ((((triple10 ((triple11) -> rule1)) -> rule7) triple11) -> rule2))] Charlie is nice.[(triple7 OR ((triple11) -> rule1))] Charlie is red.[(triple8 OR ((triple9) -> rule3) OR ((triple7 triple5) -> rule6) OR ((triple7 ((triple10 triple7) -> rule7)) -> rule6) OR ((((triple11) -> rule1) triple5) -> rule6) OR ((((triple11) -> rule1) ((triple10 triple7) -> rule7)) -> rule6) OR ((triple7 ((triple10 ((triple11) -> rule1)) -> rule7)) -> rule6) OR ((triple7 ((((triple6) -> rule4) triple7) -> rule7)) -> rule6) OR ((triple7 ((((triple6) -> rule4) ((triple11) -> rule1)) -> rule7)) -> rule6) OR ((((triple11) -> rule1) ((triple10 ((triple11) -> rule1)) -> rule7)) -> rule6) OR ((((triple11) -> rule1) ((((triple6) -> rule4) triple7) -> rule7)) -> rule6) OR ((((triple11) -> rule1) ((((triple6) -> rule4) ((triple11) -> rule1)) -> rule7)) -> rule6))] Charlie is rough.[(triple9)] Charlie is round.[(triple10 OR ((triple6) -> rule4) OR ((((triple5 triple11) -> rule2)) -> rule4))] Charlie is smart.[(triple11)] Fiona is cold.[(triple12 OR ((((triple13) -> rule4) ((triple16) -> rule1)) -> rule7))] Fiona is green.[(triple13 OR ((triple12 triple16) -> rule2))] Fiona is red.[(triple14 OR ((triple15) -> rule3))] Fiona is rough.[(triple15)] Fiona is smart.[(triple16)] @1: Bob is cold.[(((triple3 triple2) -> rule7) OR ((triple3 ((triple4) -> rule1)) -> rule7) OR ((((triple1) -> rule4) triple2) -> rule7) OR ((((triple1) -> rule4) ((triple4) -> rule1)) -> rule7))] Fiona is nice.[(((triple16) -> rule1))] Fiona is round.[(((triple13) -> rule4) OR ((((triple12 triple16) -> rule2)) -> rule4))] @2: Bob is rough.[(((((triple3 triple2) -> rule7)) -> rule8) OR ((((triple3 ((triple4) -> rule1)) -> rule7)) -> rule8) OR ((((((triple1) -> rule4) triple2) -> rule7)) -> rule8) OR ((((((triple1) -> rule4) ((triple4) -> rule1)) -> rule7)) -> rule8))] @3: Bob is red.[(((((((triple3 triple2) -> rule7)) -> rule8)) -> rule3) OR ((((((triple3 ((triple4) -> rule1)) -> rule7)) -> rule8)) -> rule3) OR ((((((((triple1) -> rule4) triple2) -> rule7)) -> rule8)) -> rule3) OR ((((((((triple1) -> rule4) ((triple4) -> rule1)) -> rule7)) -> rule8)) -> rule3))]