Anne is big. Anne is cold. Anne is white. Anne is young. Bob is kind. Dave is kind. Dave is young. Fiona is green. Fiona is kind. Fiona is round. If Dave is round then Dave is young. If Anne is cold and Anne is big then Anne is green. All kind, cold things are round.
Anne is big.
("Anne" "is" "big" "+")
Anne is cold.
("Anne" "is" "cold" "+")
Anne is white.
("Anne" "is" "white" "+")
Anne is young.
("Anne" "is" "young" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is young.
("Dave" "is" "young" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is round.
("Fiona" "is" "round" "+")
If Dave is round then Dave is young.
((("Dave" "is" "round" "+")) -> ("Dave" "is" "young" "+"))
If Anne is cold and Anne is big then Anne is green.
((("Anne" "is" "cold" "+") ("Anne" "is" "big" "+")) -> ("Anne" "is" "green" "+"))
All kind, cold things are round.
((("something" "is" "kind" "+") ("something" "is" "cold" "+")) -> ("something" "is" "round" "+"))
Anne is cold.
True
1
proof
[(triple2)]
("Anne" "is" "cold" "+")
triple2
Bob is not kind.
False
1
inv-proof
[(triple5)]
("Bob" "is" "kind" "-")
triple5
Anne is green.
True
3
proof
[(((triple2 triple1) -> rule2))]
("Anne" "is" "green" "+")
((triple2 triple1) -> (rule2 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is not green.
False
3
inv-proof
[(((triple2 triple1) -> rule2))]
("Anne" "is" "green" "-")
((triple2 triple1) -> (rule2 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is not round.
Unknown
inv-rconc
[@1: Anne is round.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Anne" "is" "round" "-")
Dave is round.
Unknown
rconc
[@1: Dave is round.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Dave" "is" "round" "+")
Bob is not young.
Unknown
inv-random
[@0: Bob is young.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "young" "-")
Fiona is cold.
Unknown
random
[@0: Fiona is cold.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "cold" "+")
@0: Anne is big.[(triple1)] Anne is cold.[(triple2)] Anne is white.[(triple3)] Anne is young.[(triple4)] Bob is kind.[(triple5)] Dave is kind.[(triple6)] Dave is young.[(triple7)] Fiona is green.[(triple8)] Fiona is kind.[(triple9)] Fiona is round.[(triple10)] @1: Anne is green.[(((triple2 triple1) -> rule2))]
Anne is big.
("Anne" "is" "big" "+")
triple1
Anne is cold.
("Anne" "is" "cold" "+")
triple2
Anne is white.
("Anne" "is" "white" "+")
triple3
Anne is young.
("Anne" "is" "young" "+")
triple4
Bob is kind.
("Bob" "is" "kind" "+")
triple5
Dave is kind.
("Dave" "is" "kind" "+")
triple6
Dave is young.
("Dave" "is" "young" "+")
triple7
Fiona is green.
("Fiona" "is" "green" "+")
triple8
Fiona is kind.
("Fiona" "is" "kind" "+")
triple9
Fiona is round.
("Fiona" "is" "round" "+")
triple10
Anne is green.
("Anne" "is" "green" "+")
((triple2 triple1) -> (rule2 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1