Anne is kind. Anne is red. Anne is smart. Dave is kind. Dave is nice. Dave is smart. Dave is young. Fiona is blue. Fiona is green. Fiona is nice. Fiona is smart. Harry is nice. If something is nice then it is smart. If something is green then it is young. If something is smart then it is red. All red, young things are smart. If Anne is nice and Anne is smart then Anne is young. If something is smart and nice then it is red. All red things are blue. All blue, kind things are young.
Harry is kind.
@0: Anne is kind.[(triple1)] Anne is red.[(triple2 OR ((triple3) -> rule3))] Anne is smart.[(triple3 OR ((triple2 ((((triple2) -> rule7) triple1) -> rule8)) -> rule4))] Dave is kind.[(triple4)] Dave is nice.[(triple5)] Dave is smart.[(triple6 OR ((triple5) -> rule1))] Dave is young.[(triple7 OR ((((((triple6) -> rule3)) -> rule7) triple4) -> rule8) OR ((((((triple6 triple5) -> rule6)) -> rule7) triple4) -> rule8) OR ((((((((triple5) -> rule1)) -> rule3)) -> rule7) triple4) -> rule8) OR ((((((((triple5) -> rule1) triple5) -> rule6)) -> rule7) triple4) -> rule8))] Fiona is blue.[(triple8 OR ((((triple11) -> rule3)) -> rule7) OR ((((triple11 triple10) -> rule6)) -> rule7) OR ((((((triple10) -> rule1)) -> rule3)) -> rule7) OR ((((((triple10) -> rule1) triple10) -> rule6)) -> rule7))] Fiona is green.[(triple9)] Fiona is nice.[(triple10)] Fiona is smart.[(triple11 OR ((triple10) -> rule1))] Harry is nice.[(triple12)] @1: Anne is blue.[(((triple2) -> rule7) OR ((((triple3) -> rule3)) -> rule7))] Dave is red.[(((triple6) -> rule3) OR ((triple6 triple5) -> rule6) OR ((((triple5) -> rule1)) -> rule3) OR ((((triple5) -> rule1) triple5) -> rule6))] Fiona is red.[(((triple11) -> rule3) OR ((triple11 triple10) -> rule6) OR ((((triple10) -> rule1)) -> rule3) OR ((((triple10) -> rule1) triple10) -> rule6))] Fiona is young.[(((triple9) -> rule2))] Harry is smart.[(((triple12) -> rule1))] @2: Anne is young.[(((((triple2) -> rule7) triple1) -> rule8) OR ((((((triple3) -> rule3)) -> rule7) triple1) -> rule8))] Dave is blue.[(((((triple6) -> rule3)) -> rule7) OR ((((triple6 triple5) -> rule6)) -> rule7) OR ((((((triple5) -> rule1)) -> rule3)) -> rule7) OR ((((((triple5) -> rule1) triple5) -> rule6)) -> rule7))] Harry is red.[(((((triple12) -> rule1)) -> rule3) OR ((((triple12) -> rule1) triple12) -> rule6))] @3: Harry is blue.[(((((((triple12) -> rule1)) -> rule3)) -> rule7) OR ((((((triple12) -> rule1) triple12) -> rule6)) -> rule7))]