Anne is big. Anne is blue. Anne is red. Anne is round. Dave is green. Gary is big. Gary is blue. Gary is red. Gary is rough. Gary is round. Harry is not green. Harry is not red. Harry is rough. Harry is not round. Harry is not young. If something is big then it is green.
Anne is big.
("Anne" "is" "big" "+")
Anne is blue.
("Anne" "is" "blue" "+")
Anne is red.
("Anne" "is" "red" "+")
Anne is round.
("Anne" "is" "round" "+")
Dave is green.
("Dave" "is" "green" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is round.
("Gary" "is" "round" "+")
Harry is not green.
("Harry" "is" "green" "-")
Harry is not red.
("Harry" "is" "red" "-")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is not round.
("Harry" "is" "round" "-")
Harry is not young.
("Harry" "is" "young" "-")
If something is big then it is green.
((("something" "is" "big" "+")) -> ("something" "is" "green" "+"))
Gary is round.
True
1
proof
[(triple10)]
("Gary" "is" "round" "+")
triple10
Harry is not rough.
False
1
inv-proof
[(triple13)]
("Harry" "is" "rough" "-")
triple13
Dave is not round.
Unknown
inv-random
[@0: Dave is round.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "round" "-")
Anne is young.
Unknown
random
[@0: Anne is young.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "young" "+")
@0: Anne is big.[(triple1)] Anne is blue.[(triple2)] Anne is red.[(triple3)] Anne is round.[(triple4)] Dave is green.[(triple5)] Gary is big.[(triple6)] Gary is blue.[(triple7)] Gary is red.[(triple8)] Gary is rough.[(triple9)] Gary is round.[(triple10)] Harry is not green.[(triple11)] Harry is not red.[(triple12)] Harry is not round.[(triple14)] Harry is not young.[(triple15)] Harry is rough.[(triple13)] @1: Anne is green.[(((triple1) -> rule1))] Gary is green.[(((triple6) -> rule1))]
Anne is big.
("Anne" "is" "big" "+")
triple1
Anne is blue.
("Anne" "is" "blue" "+")
triple2
Anne is red.
("Anne" "is" "red" "+")
triple3
Anne is round.
("Anne" "is" "round" "+")
triple4
Dave is green.
("Dave" "is" "green" "+")
triple5
Gary is big.
("Gary" "is" "big" "+")
triple6
Gary is blue.
("Gary" "is" "blue" "+")
triple7
Gary is red.
("Gary" "is" "red" "+")
triple8
Gary is rough.
("Gary" "is" "rough" "+")
triple9
Gary is round.
("Gary" "is" "round" "+")
triple10
Harry is not green.
("Harry" "is" "green" "-")
triple11
Harry is not red.
("Harry" "is" "red" "-")
triple12
Harry is not round.
("Harry" "is" "round" "-")
triple14
Harry is not young.
("Harry" "is" "young" "-")
triple15
Harry is rough.
("Harry" "is" "rough" "+")
triple13
Anne is green.
("Anne" "is" "green" "+")
((triple1) -> (rule1 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
((triple6) -> (rule1 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1