Anne is big. Anne is blue. Anne is quiet. Anne is red. Anne is rough. Anne is round. Anne is young. Dave is red. Dave is rough. Dave is round. Dave is young. Fiona is round. Gary is big. Gary is not round. Round things are big. If Dave is young and Dave is red then Dave is rough. All blue, big things are young. If something is young and not big then it is blue. All round things are blue. Young things are rough. All rough, big things are red. Young, red things are quiet. If something is red and not rough then it is quiet.
Fiona is red.
@0: Anne is big.[(triple1 OR ((triple6) -> rule1))] Anne is blue.[(triple2 OR ((triple6) -> rule5))] Anne is quiet.[(triple3 OR ((triple7 triple4) -> rule8) OR ((triple7 ((triple5 triple1) -> rule7)) -> rule8) OR ((((triple2 triple1) -> rule3) triple4) -> rule8) OR ((((triple2 triple1) -> rule3) ((triple5 triple1) -> rule7)) -> rule8) OR ((triple7 ((triple5 ((triple6) -> rule1)) -> rule7)) -> rule8) OR ((triple7 ((((triple7) -> rule6) triple1) -> rule7)) -> rule8) OR ((((triple2 ((triple6) -> rule1)) -> rule3) triple4) -> rule8) OR ((((((triple6) -> rule5) triple1) -> rule3) triple4) -> rule8) OR ((triple7 ((((triple7) -> rule6) ((triple6) -> rule1)) -> rule7)) -> rule8) OR ((((triple2 triple1) -> rule3) ((triple5 ((triple6) -> rule1)) -> rule7)) -> rule8) OR ((((triple2 triple1) -> rule3) ((((triple7) -> rule6) triple1) -> rule7)) -> rule8) OR ((((triple2 ((triple6) -> rule1)) -> rule3) ((triple5 triple1) -> rule7)) -> rule8) OR ((((((triple6) -> rule5) triple1) -> rule3) ((triple5 triple1) -> rule7)) -> rule8) OR ((((((triple6) -> rule5) ((triple6) -> rule1)) -> rule3) triple4) -> rule8) OR ((((triple2 triple1) -> rule3) ((((triple7) -> rule6) ((triple6) -> rule1)) -> rule7)) -> rule8) OR ((((triple2 ((triple6) -> rule1)) -> rule3) ((triple5 ((triple6) -> rule1)) -> rule7)) -> rule8) OR ((((triple2 ((triple6) -> rule1)) -> rule3) ((((triple7) -> rule6) triple1) -> rule7)) -> rule8) OR ((((((triple6) -> rule5) triple1) -> rule3) ((triple5 ((triple6) -> rule1)) -> rule7)) -> rule8) OR ((((((triple6) -> rule5) triple1) -> rule3) ((((triple7) -> rule6) triple1) -> rule7)) -> rule8) OR ((((((triple6) -> rule5) ((triple6) -> rule1)) -> rule3) ((triple5 triple1) -> rule7)) -> rule8) OR ((((triple2 ((triple6) -> rule1)) -> rule3) ((((triple7) -> rule6) ((triple6) -> rule1)) -> rule7)) -> rule8) OR ((((((triple6) -> rule5) triple1) -> rule3) ((((triple7) -> rule6) ((triple6) -> rule1)) -> rule7)) -> rule8) OR ((((((triple6) -> rule5) ((triple6) -> rule1)) -> rule3) ((triple5 ((triple6) -> rule1)) -> rule7)) -> rule8) OR ((((((triple6) -> rule5) ((triple6) -> rule1)) -> rule3) ((((triple7) -> rule6) triple1) -> rule7)) -> rule8) OR ((((((triple6) -> rule5) ((triple6) -> rule1)) -> rule3) ((((triple7) -> rule6) ((triple6) -> rule1)) -> rule7)) -> rule8) OR ((triple7 ((((((triple2 triple1) -> rule3)) -> rule6) triple1) -> rule7)) -> rule8) OR ((triple7 ((((((triple2 triple1) -> rule3)) -> rule6) ((triple6) -> rule1)) -> rule7)) -> rule8) OR ((((triple2 triple1) -> rule3) ((((((triple2 triple1) -> rule3)) -> rule6) triple1) -> rule7)) -> rule8) OR ((((triple2 triple1) -> rule3) ((((((triple2 triple1) -> rule3)) -> rule6) ((triple6) -> rule1)) -> rule7)) -> rule8) OR ((((triple2 ((triple6) -> rule1)) -> rule3) ((((((triple2 triple1) -> rule3)) -> rule6) triple1) -> rule7)) -> rule8) OR ((((((triple6) -> rule5) triple1) -> rule3) ((((((triple2 triple1) -> rule3)) -> rule6) triple1) -> rule7)) -> rule8) OR ((((triple2 ((triple6) -> rule1)) -> rule3) ((((((triple2 triple1) -> rule3)) -> rule6) ((triple6) -> rule1)) -> rule7)) -> rule8) OR ((((((triple6) -> rule5) triple1) -> rule3) ((((((triple2 triple1) -> rule3)) -> rule6) ((triple6) -> rule1)) -> rule7)) -> rule8) OR ((((((triple6) -> rule5) ((triple6) -> rule1)) -> rule3) ((((((triple2 triple1) -> rule3)) -> rule6) triple1) -> rule7)) -> rule8) OR ((((((triple6) -> rule5) ((triple6) -> rule1)) -> rule3) ((((((triple2 triple1) -> rule3)) -> rule6) ((triple6) -> rule1)) -> rule7)) -> rule8) OR ((triple7 ((((((triple2 ((triple6) -> rule1)) -> rule3)) -> rule6) triple1) -> rule7)) -> rule8) OR ((triple7 ((((((((triple6) -> rule5) triple1) -> rule3)) -> rule6) triple1) -> rule7)) -> rule8) OR ((triple7 ((((((triple2 ((triple6) -> rule1)) -> rule3)) -> rule6) ((triple6) -> rule1)) -> rule7)) -> rule8) OR ((triple7 ((((((((triple6) -> rule5) triple1) -> rule3)) -> rule6) ((triple6) -> rule1)) -> rule7)) -> rule8) OR ((triple7 ((((((((triple6) -> rule5) ((triple6) -> rule1)) -> rule3)) -> rule6) triple1) -> rule7)) -> rule8) OR ((((triple2 triple1) -> rule3) ((((((triple2 ((triple6) -> rule1)) -> rule3)) -> rule6) triple1) -> rule7)) -> rule8) OR ((((triple2 triple1) -> rule3) ((((((((triple6) -> rule5) triple1) -> rule3)) -> rule6) triple1) -> rule7)) -> rule8) OR ((triple7 ((((((((triple6) -> rule5) ((triple6) -> rule1)) -> rule3)) -> rule6) ((triple6) -> rule1)) -> rule7)) -> rule8) OR ((((triple2 triple1) -> rule3) ((((((triple2 ((triple6) -> rule1)) -> rule3)) -> rule6) ((triple6) -> rule1)) -> rule7)) -> rule8) OR ((((triple2 triple1) -> rule3) ((((((((triple6) -> rule5) triple1) -> rule3)) -> rule6) ((triple6) -> rule1)) -> rule7)) -> rule8) OR ((((triple2 triple1) -> rule3) ((((((((triple6) -> rule5) ((triple6) -> rule1)) -> rule3)) -> rule6) triple1) -> rule7)) -> rule8) OR ((((triple2 ((triple6) -> rule1)) -> rule3) ((((((triple2 ((triple6) -> rule1)) -> rule3)) -> rule6) triple1) -> rule7)) -> rule8) OR ((((triple2 ((triple6) -> rule1)) -> rule3) ((((((((triple6) -> rule5) triple1) -> rule3)) -> rule6) triple1) -> rule7)) -> rule8) OR ((((((triple6) -> rule5) triple1) -> rule3) ((((((triple2 ((triple6) -> rule1)) -> rule3)) -> rule6) triple1) -> rule7)) -> rule8) OR ((((((triple6) -> rule5) triple1) -> rule3) ((((((((triple6) -> rule5) triple1) -> rule3)) -> rule6) triple1) -> rule7)) -> rule8) OR ((((triple2 triple1) -> rule3) ((((((((triple6) -> rule5) ((triple6) -> rule1)) -> rule3)) -> rule6) ((triple6) -> rule1)) -> rule7)) -> rule8) OR ((((triple2 ((triple6) -> rule1)) -> rule3) ((((((triple2 ((triple6) -> rule1)) -> rule3)) -> rule6) ((triple6) -> rule1)) -> rule7)) -> rule8) OR ((((triple2 ((triple6) -> rule1)) -> rule3) ((((((((triple6) -> rule5) triple1) -> rule3)) -> rule6) ((triple6) -> rule1)) -> rule7)) -> rule8) OR ((((triple2 ((triple6) -> rule1)) -> rule3) ((((((((triple6) -> rule5) ((triple6) -> rule1)) -> rule3)) -> rule6) triple1) -> rule7)) -> rule8) OR ((((((triple6) -> rule5) triple1) -> rule3) ((((((triple2 ((triple6) -> rule1)) -> rule3)) -> rule6) ((triple6) -> rule1)) -> rule7)) -> rule8) OR ((((((triple6) -> rule5) triple1) -> rule3) ((((((((triple6) -> rule5) triple1) -> rule3)) -> rule6) ((triple6) -> rule1)) -> rule7)) -> rule8) OR ((((((triple6) -> rule5) triple1) -> rule3) ((((((((triple6) -> rule5) ((triple6) -> rule1)) -> rule3)) -> rule6) triple1) -> rule7)) -> rule8) OR ((((((triple6) -> rule5) ((triple6) -> rule1)) -> rule3) ((((((triple2 ((triple6) -> rule1)) -> rule3)) -> rule6) triple1) -> rule7)) -> rule8) OR ((((((triple6) -> rule5) ((triple6) -> rule1)) -> rule3) ((((((((triple6) -> rule5) triple1) -> rule3)) -> rule6) triple1) -> rule7)) -> rule8) OR ((((triple2 ((triple6) -> rule1)) -> rule3) ((((((((triple6) -> rule5) ((triple6) -> rule1)) -> rule3)) -> rule6) ((triple6) -> rule1)) -> rule7)) -> rule8) OR ((((((triple6) -> rule5) triple1) -> rule3) ((((((((triple6) -> rule5) ((triple6) -> rule1)) -> rule3)) -> rule6) ((triple6) -> rule1)) -> rule7)) -> rule8) OR ((((((triple6) -> rule5) ((triple6) -> rule1)) -> rule3) ((((((triple2 ((triple6) -> rule1)) -> rule3)) -> rule6) ((triple6) -> rule1)) -> rule7)) -> rule8) OR ((((((triple6) -> rule5) ((triple6) -> rule1)) -> rule3) ((((((((triple6) -> rule5) triple1) -> rule3)) -> rule6) ((triple6) -> rule1)) -> rule7)) -> rule8) OR ((((((triple6) -> rule5) ((triple6) -> rule1)) -> rule3) ((((((((triple6) -> rule5) ((triple6) -> rule1)) -> rule3)) -> rule6) triple1) -> rule7)) -> rule8) OR ((((((triple6) -> rule5) ((triple6) -> rule1)) -> rule3) ((((((((triple6) -> rule5) ((triple6) -> rule1)) -> rule3)) -> rule6) ((triple6) -> rule1)) -> rule7)) -> rule8))] Anne is red.[(triple4 OR ((triple5 triple1) -> rule7) OR ((triple5 ((triple6) -> rule1)) -> rule7) OR ((((triple7) -> rule6) triple1) -> rule7) OR ((((triple7) -> rule6) ((triple6) -> rule1)) -> rule7) OR ((((((triple2 triple1) -> rule3)) -> rule6) triple1) -> rule7) OR ((((((triple2 triple1) -> rule3)) -> rule6) ((triple6) -> rule1)) -> rule7) OR ((((((triple2 ((triple6) -> rule1)) -> rule3)) -> rule6) triple1) -> rule7) OR ((((((((triple6) -> rule5) triple1) -> rule3)) -> rule6) triple1) -> rule7) OR ((((((triple2 ((triple6) -> rule1)) -> rule3)) -> rule6) ((triple6) -> rule1)) -> rule7) OR ((((((((triple6) -> rule5) triple1) -> rule3)) -> rule6) ((triple6) -> rule1)) -> rule7) OR ((((((((triple6) -> rule5) ((triple6) -> rule1)) -> rule3)) -> rule6) triple1) -> rule7) OR ((((((((triple6) -> rule5) ((triple6) -> rule1)) -> rule3)) -> rule6) ((triple6) -> rule1)) -> rule7))] Anne is rough.[(triple5 OR ((triple7) -> rule6) OR ((((triple2 triple1) -> rule3)) -> rule6) OR ((((triple2 ((triple6) -> rule1)) -> rule3)) -> rule6) OR ((((((triple6) -> rule5) triple1) -> rule3)) -> rule6) OR ((((((triple6) -> rule5) ((triple6) -> rule1)) -> rule3)) -> rule6))] Anne is round.[(triple6)] Anne is young.[(triple7 OR ((triple2 triple1) -> rule3) OR ((triple2 ((triple6) -> rule1)) -> rule3) OR ((((triple6) -> rule5) triple1) -> rule3) OR ((((triple6) -> rule5) ((triple6) -> rule1)) -> rule3))] Dave is red.[(triple8 OR ((triple9 ((triple10) -> rule1)) -> rule7) OR ((((triple11) -> rule6) ((triple10) -> rule1)) -> rule7) OR ((((((((triple10) -> rule5) ((triple10) -> rule1)) -> rule3)) -> rule6) ((triple10) -> rule1)) -> rule7))] Dave is rough.[(triple9 OR ((triple11) -> rule6) OR ((triple11 triple8) -> rule2) OR ((((((triple10) -> rule5) ((triple10) -> rule1)) -> rule3)) -> rule6) OR ((((((triple10) -> rule5) ((triple10) -> rule1)) -> rule3) triple8) -> rule2))] Dave is round.[(triple10)] Dave is young.[(triple11 OR ((((triple10) -> rule5) ((triple10) -> rule1)) -> rule3))] Fiona is round.[(triple12)] Gary is big.[(triple13)] Gary is not round.[(triple14)] @1: Dave is big.[(((triple10) -> rule1))] Dave is blue.[(((triple10) -> rule5))] Dave is quiet.[(((triple11 triple8) -> rule8) OR ((triple11 ((triple9 ((triple10) -> rule1)) -> rule7)) -> rule8) OR ((triple11 ((((triple11) -> rule6) ((triple10) -> rule1)) -> rule7)) -> rule8) OR ((((((triple10) -> rule5) ((triple10) -> rule1)) -> rule3) triple8) -> rule8) OR ((((((triple10) -> rule5) ((triple10) -> rule1)) -> rule3) ((triple9 ((triple10) -> rule1)) -> rule7)) -> rule8) OR ((((((triple10) -> rule5) ((triple10) -> rule1)) -> rule3) ((((triple11) -> rule6) ((triple10) -> rule1)) -> rule7)) -> rule8) OR ((triple11 ((((((((triple10) -> rule5) ((triple10) -> rule1)) -> rule3)) -> rule6) ((triple10) -> rule1)) -> rule7)) -> rule8) OR ((((((triple10) -> rule5) ((triple10) -> rule1)) -> rule3) ((((((((triple10) -> rule5) ((triple10) -> rule1)) -> rule3)) -> rule6) ((triple10) -> rule1)) -> rule7)) -> rule8))] Fiona is big.[(((triple12) -> rule1))] Fiona is blue.[(((triple12) -> rule5))] @2: Fiona is young.[(((((triple12) -> rule5) ((triple12) -> rule1)) -> rule3))] @3: Fiona is rough.[(((((((triple12) -> rule5) ((triple12) -> rule1)) -> rule3)) -> rule6))] @4: Fiona is red.[(((((((((triple12) -> rule5) ((triple12) -> rule1)) -> rule3)) -> rule6) ((triple12) -> rule1)) -> rule7))] @5: Fiona is quiet.[(((((((triple12) -> rule5) ((triple12) -> rule1)) -> rule3) ((((((((triple12) -> rule5) ((triple12) -> rule1)) -> rule3)) -> rule6) ((triple12) -> rule1)) -> rule7)) -> rule8))]