Bob is big. Bob is blue. Bob is kind. Bob is red. Bob is rough. Bob is young. Dave is big. Dave is kind. Dave is red. Dave is rough. Dave is young. Fiona is blue. Fiona is green. Fiona is red. Fiona is young. Young things are rough. Rough, blue things are young. All green, kind things are red. All blue things are big. If Fiona is kind and Fiona is rough then Fiona is big. If something is kind and young then it is green.
Fiona is not red.
@0: Bob is big.[(triple1 OR ((triple2) -> rule4))] Bob is blue.[(triple2)] Bob is kind.[(triple3)] Bob is red.[(triple4 OR ((((triple3 triple6) -> rule6) triple3) -> rule3) OR ((((triple3 ((triple5 triple2) -> rule2)) -> rule6) triple3) -> rule3))] Bob is rough.[(triple5 OR ((triple6) -> rule1))] Bob is young.[(triple6 OR ((triple5 triple2) -> rule2))] Dave is big.[(triple7)] Dave is kind.[(triple8)] Dave is red.[(triple9 OR ((((triple8 triple11) -> rule6) triple8) -> rule3))] Dave is rough.[(triple10 OR ((triple11) -> rule1))] Dave is young.[(triple11)] Fiona is blue.[(triple12)] Fiona is green.[(triple13)] Fiona is red.[(triple14)] Fiona is young.[(triple15)] @1: Bob is green.[(((triple3 triple6) -> rule6) OR ((triple3 ((triple5 triple2) -> rule2)) -> rule6))] Dave is green.[(((triple8 triple11) -> rule6))] Fiona is big.[(((triple12) -> rule4))] Fiona is rough.[(((triple15) -> rule1))]