Anne is big. Anne is cold. Anne is kind. Anne is young. Gary is blue. Gary is cold. Gary is kind. Gary is quiet. Gary is round. Gary is young. All blue, big people are quiet. All big people are round. If Anne is cold and Anne is quiet then Anne is kind.
Anne is big.
("Anne" "is" "big" "+")
Anne is cold.
("Anne" "is" "cold" "+")
Anne is kind.
("Anne" "is" "kind" "+")
Anne is young.
("Anne" "is" "young" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is young.
("Gary" "is" "young" "+")
All blue, big people are quiet.
((("someone" "is" "blue" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "quiet" "+"))
All big people are round.
((("someone" "is" "big" "+")) -> ("someone" "is" "round" "+"))
If Anne is cold and Anne is quiet then Anne is kind.
((("Anne" "is" "cold" "+") ("Anne" "is" "quiet" "+")) -> ("Anne" "is" "kind" "+"))
Anne is young.
True
1
proof
[(triple4)]
("Anne" "is" "young" "+")
triple4
Gary is not quiet.
False
1
inv-proof
[(triple8)]
("Gary" "is" "quiet" "-")
triple8
Anne is round.
True
2
proof
[(((triple1) -> rule2))]
("Anne" "is" "round" "+")
((triple1) -> (rule2 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is not round.
False
2
inv-proof
[(((triple1) -> rule2))]
("Anne" "is" "round" "-")
((triple1) -> (rule2 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is not quiet.
Unknown
inv-rconc
[@1: Anne is quiet.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Anne" "is" "quiet" "-")
Gary is big.
Unknown
random
[@0: Gary is big.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "big" "+")
@0: Anne is big.[(triple1)] Anne is cold.[(triple2)] Anne is kind.[(triple3)] Anne is young.[(triple4)] Gary is blue.[(triple5)] Gary is cold.[(triple6)] Gary is kind.[(triple7)] Gary is quiet.[(triple8)] Gary is round.[(triple9)] Gary is young.[(triple10)] @1: Anne is round.[(((triple1) -> rule2))]
Anne is big.
("Anne" "is" "big" "+")
triple1
Anne is cold.
("Anne" "is" "cold" "+")
triple2
Anne is kind.
("Anne" "is" "kind" "+")
triple3
Anne is young.
("Anne" "is" "young" "+")
triple4
Gary is blue.
("Gary" "is" "blue" "+")
triple5
Gary is cold.
("Gary" "is" "cold" "+")
triple6
Gary is kind.
("Gary" "is" "kind" "+")
triple7
Gary is quiet.
("Gary" "is" "quiet" "+")
triple8
Gary is round.
("Gary" "is" "round" "+")
triple9
Gary is young.
("Gary" "is" "young" "+")
triple10
Anne is round.
("Anne" "is" "round" "+")
((triple1) -> (rule2 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1