Anne is big. Anne is blue. Anne is nice. Anne is rough. Anne is round. Anne is young. Fiona is big. Fiona is blue. Fiona is rough. Fiona is round. Harry is big. Harry is blue. Harry is nice. Harry is quiet. Harry is rough. Harry is round. If Harry is quiet then Harry is big. Blue, quiet people are round.
Anne is big.
("Anne" "is" "big" "+")
Anne is blue.
("Anne" "is" "blue" "+")
Anne is nice.
("Anne" "is" "nice" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Anne is round.
("Anne" "is" "round" "+")
Anne is young.
("Anne" "is" "young" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Harry is big.
("Harry" "is" "big" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is round.
("Harry" "is" "round" "+")
If Harry is quiet then Harry is big.
((("Harry" "is" "quiet" "+")) -> ("Harry" "is" "big" "+"))
Blue, quiet people are round.
((("someone" "is" "blue" "+") ("someone" "is" "quiet" "+")) -> ("someone" "is" "round" "+"))
Harry is quiet.
True
1
proof
[(triple14)]
("Harry" "is" "quiet" "+")
triple14
Fiona is not round.
False
1
inv-proof
[(triple10)]
("Fiona" "is" "round" "-")
triple10
Fiona is not young.
Unknown
inv-random
[@0: Fiona is young.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "young" "-")
Fiona is quiet.
Unknown
random
[@0: Fiona is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "quiet" "+")
@0: Anne is big.[(triple1)] Anne is blue.[(triple2)] Anne is nice.[(triple3)] Anne is rough.[(triple4)] Anne is round.[(triple5)] Anne is young.[(triple6)] Fiona is big.[(triple7)] Fiona is blue.[(triple8)] Fiona is rough.[(triple9)] Fiona is round.[(triple10)] Harry is big.[(triple11 OR ((triple14) -> rule1))] Harry is blue.[(triple12)] Harry is nice.[(triple13)] Harry is quiet.[(triple14)] Harry is rough.[(triple15)] Harry is round.[(triple16 OR ((triple12 triple14) -> rule2))]
Anne is big.
("Anne" "is" "big" "+")
triple1
Anne is blue.
("Anne" "is" "blue" "+")
triple2
Anne is nice.
("Anne" "is" "nice" "+")
triple3
Anne is rough.
("Anne" "is" "rough" "+")
triple4
Anne is round.
("Anne" "is" "round" "+")
triple5
Anne is young.
("Anne" "is" "young" "+")
triple6
Fiona is big.
("Fiona" "is" "big" "+")
triple7
Fiona is blue.
("Fiona" "is" "blue" "+")
triple8
Fiona is rough.
("Fiona" "is" "rough" "+")
triple9
Fiona is round.
("Fiona" "is" "round" "+")
triple10
Harry is big.
("Harry" "is" "big" "+")
triple11
((triple14) -> (rule1 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
triple12
Harry is nice.
("Harry" "is" "nice" "+")
triple13
Harry is quiet.
("Harry" "is" "quiet" "+")
triple14
Harry is rough.
("Harry" "is" "rough" "+")
triple15
Harry is round.
("Harry" "is" "round" "+")
triple16
((triple12 triple14) -> (rule2 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1