Anne is big. Anne is blue. Anne is not green. Fiona is not big. Fiona is blue. Fiona is red. Gary is blue. Gary is cold. Gary is not furry. Gary is green. Gary is quiet. Gary is not red. All quiet people are big.
Anne is big.
("Anne" "is" "big" "+")
Anne is blue.
("Anne" "is" "blue" "+")
Anne is not green.
("Anne" "is" "green" "-")
Fiona is not big.
("Fiona" "is" "big" "-")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is not furry.
("Gary" "is" "furry" "-")
Gary is green.
("Gary" "is" "green" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is not red.
("Gary" "is" "red" "-")
All quiet people are big.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "big" "+"))
Gary is blue.
True
1
proof
[(triple7)]
("Gary" "is" "blue" "+")
triple7
Fiona is big.
False
1
inv-proof
[(triple4)]
("Fiona" "is" "big" "+")
triple4
Gary is big.
True
2
proof
[(((triple11) -> rule1))]
("Gary" "is" "big" "+")
((triple11) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is not big.
False
2
inv-proof
[(((triple11) -> rule1))]
("Gary" "is" "big" "-")
((triple11) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Anne is not furry.
Unknown
inv-random
[@0: Anne is furry.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "furry" "-")
Anne is cold.
Unknown
random
[@0: Anne is cold.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "cold" "+")
Anne is not quiet.
Unknown
inv-random
[@0: Anne is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "quiet" "-")
Fiona is furry.
Unknown
random
[@0: Fiona is furry.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "furry" "+")
@0: Anne is big.[(triple1)] Anne is blue.[(triple2)] Anne is not green.[(triple3)] Fiona is blue.[(triple5)] Fiona is not big.[(triple4)] Fiona is red.[(triple6)] Gary is blue.[(triple7)] Gary is cold.[(triple8)] Gary is green.[(triple10)] Gary is not furry.[(triple9)] Gary is not red.[(triple12)] Gary is quiet.[(triple11)] @1: Gary is big.[(((triple11) -> rule1))]
Anne is big.
("Anne" "is" "big" "+")
triple1
Anne is blue.
("Anne" "is" "blue" "+")
triple2
Anne is not green.
("Anne" "is" "green" "-")
triple3
Fiona is blue.
("Fiona" "is" "blue" "+")
triple5
Fiona is not big.
("Fiona" "is" "big" "-")
triple4
Fiona is red.
("Fiona" "is" "red" "+")
triple6
Gary is blue.
("Gary" "is" "blue" "+")
triple7
Gary is cold.
("Gary" "is" "cold" "+")
triple8
Gary is green.
("Gary" "is" "green" "+")
triple10
Gary is not furry.
("Gary" "is" "furry" "-")
triple9
Gary is not red.
("Gary" "is" "red" "-")
triple12
Gary is quiet.
("Gary" "is" "quiet" "+")
triple11
Gary is big.
("Gary" "is" "big" "+")
((triple11) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1