Dave is big. Dave is blue. Dave is green. Dave is kind. Dave is nice. Dave is round. Dave is smart. Fiona is big. Fiona is blue. Fiona is green. Fiona is kind. Fiona is nice. Fiona is round. Fiona is smart. If something is green then it is big. Smart, kind things are big. All green, big things are blue. If something is nice and blue then it is big. Green, kind things are smart. If something is round and smart then it is kind.
Dave is round.
@0: Dave is big.[(triple1 OR ((triple3) -> rule1) OR ((triple5 triple2) -> rule4) OR ((triple7 triple4) -> rule2) OR ((triple7 ((triple6 triple7) -> rule6)) -> rule2) OR ((((triple3 triple4) -> rule5) triple4) -> rule2) OR ((((triple3 triple4) -> rule5) ((triple6 triple7) -> rule6)) -> rule2))] Dave is blue.[(triple2 OR ((triple3 triple1) -> rule3) OR ((triple3 ((triple3) -> rule1)) -> rule3) OR ((triple3 ((triple7 triple4) -> rule2)) -> rule3) OR ((triple3 ((triple7 ((triple6 triple7) -> rule6)) -> rule2)) -> rule3) OR ((triple3 ((((triple3 triple4) -> rule5) triple4) -> rule2)) -> rule3) OR ((triple3 ((((triple3 triple4) -> rule5) ((triple6 triple7) -> rule6)) -> rule2)) -> rule3))] Dave is green.[(triple3)] Dave is kind.[(triple4 OR ((triple6 triple7) -> rule6))] Dave is nice.[(triple5)] Dave is round.[(triple6)] Dave is smart.[(triple7 OR ((triple3 triple4) -> rule5))] Fiona is big.[(triple8 OR ((triple10) -> rule1) OR ((triple12 triple9) -> rule4) OR ((triple14 triple11) -> rule2) OR ((triple14 ((triple13 triple14) -> rule6)) -> rule2) OR ((((triple10 triple11) -> rule5) triple11) -> rule2) OR ((((triple10 triple11) -> rule5) ((triple13 triple14) -> rule6)) -> rule2))] Fiona is blue.[(triple9 OR ((triple10 triple8) -> rule3) OR ((triple10 ((triple10) -> rule1)) -> rule3) OR ((triple10 ((triple14 triple11) -> rule2)) -> rule3) OR ((triple10 ((triple14 ((triple13 triple14) -> rule6)) -> rule2)) -> rule3) OR ((triple10 ((((triple10 triple11) -> rule5) triple11) -> rule2)) -> rule3) OR ((triple10 ((((triple10 triple11) -> rule5) ((triple13 triple14) -> rule6)) -> rule2)) -> rule3))] Fiona is green.[(triple10)] Fiona is kind.[(triple11 OR ((triple13 triple14) -> rule6))] Fiona is nice.[(triple12)] Fiona is round.[(triple13)] Fiona is smart.[(triple14 OR ((triple10 triple11) -> rule5))]