Bob is rough. Charlie is big. Charlie is cold. Charlie is green. Charlie is quiet. Charlie is red. Charlie is rough. Charlie is young. Dave is cold. Dave is quiet. Dave is red. Dave is rough. Dave is young. Fiona is green. Fiona is red. Fiona is young. Green people are cold. Red people are big. If someone is big then they are rough. If someone is green and rough then they are quiet. All quiet people are rough. Quiet people are green. If Fiona is big then Fiona is cold. Rough people are quiet.
Dave is green.
@0: Bob is rough.[(triple1)] Charlie is big.[(triple2 OR ((triple6) -> rule2))] Charlie is cold.[(triple3 OR ((triple4) -> rule1) OR ((((triple5) -> rule6)) -> rule1) OR ((((((triple7) -> rule8)) -> rule6)) -> rule1) OR ((((((((triple2) -> rule3)) -> rule8)) -> rule6)) -> rule1) OR ((((((((((triple6) -> rule2)) -> rule3)) -> rule8)) -> rule6)) -> rule1))] Charlie is green.[(triple4 OR ((triple5) -> rule6) OR ((((triple7) -> rule8)) -> rule6) OR ((((((triple2) -> rule3)) -> rule8)) -> rule6) OR ((((((((triple6) -> rule2)) -> rule3)) -> rule8)) -> rule6))] Charlie is quiet.[(triple5 OR ((triple7) -> rule8) OR ((triple4 triple7) -> rule4) OR ((((triple2) -> rule3)) -> rule8) OR ((triple4 ((triple2) -> rule3)) -> rule4) OR ((((((triple6) -> rule2)) -> rule3)) -> rule8) OR ((triple4 ((((triple6) -> rule2)) -> rule3)) -> rule4))] Charlie is red.[(triple6)] Charlie is rough.[(triple7 OR ((triple2) -> rule3) OR ((triple5) -> rule5) OR ((((triple6) -> rule2)) -> rule3))] Charlie is young.[(triple8)] Dave is cold.[(triple9 OR ((((triple10) -> rule6)) -> rule1) OR ((((((triple12) -> rule8)) -> rule6)) -> rule1) OR ((((((((((triple11) -> rule2)) -> rule3)) -> rule8)) -> rule6)) -> rule1))] Dave is quiet.[(triple10 OR ((triple12) -> rule8) OR ((((((triple11) -> rule2)) -> rule3)) -> rule8))] Dave is red.[(triple11)] Dave is rough.[(triple12 OR ((triple10) -> rule5) OR ((((triple11) -> rule2)) -> rule3))] Dave is young.[(triple13)] Fiona is green.[(triple14 OR ((((((((triple15) -> rule2)) -> rule3)) -> rule8)) -> rule6))] Fiona is red.[(triple15)] Fiona is young.[(triple16)] @1: Bob is quiet.[(((triple1) -> rule8))] Dave is big.[(((triple11) -> rule2))] Dave is green.[(((triple10) -> rule6) OR ((((triple12) -> rule8)) -> rule6) OR ((((((((triple11) -> rule2)) -> rule3)) -> rule8)) -> rule6))] Fiona is big.[(((triple15) -> rule2))] Fiona is cold.[(((triple14) -> rule1) OR ((((triple15) -> rule2)) -> rule7) OR ((((((((((triple15) -> rule2)) -> rule3)) -> rule8)) -> rule6)) -> rule1))] @2: Bob is green.[(((((triple1) -> rule8)) -> rule6))] Fiona is rough.[(((((triple15) -> rule2)) -> rule3))] @3: Bob is cold.[(((((((triple1) -> rule8)) -> rule6)) -> rule1))] Fiona is quiet.[(((((((triple15) -> rule2)) -> rule3)) -> rule8) OR ((triple14 ((((triple15) -> rule2)) -> rule3)) -> rule4))]