Anne is big. Anne is kind. Anne is red. Anne is round. Anne is white. Bob is big. Bob is green. Bob is kind. Bob is quiet. Bob is red. Bob is white. Fiona is green. Fiona is quiet. Fiona is red. Fiona is white. Gary is big. Big, round things are green. If something is green and quiet then it is big.
Anne is big.
("Anne" "is" "big" "+")
Anne is kind.
("Anne" "is" "kind" "+")
Anne is red.
("Anne" "is" "red" "+")
Anne is round.
("Anne" "is" "round" "+")
Anne is white.
("Anne" "is" "white" "+")
Bob is big.
("Bob" "is" "big" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is quiet.
("Bob" "is" "quiet" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is white.
("Bob" "is" "white" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Gary is big.
("Gary" "is" "big" "+")
Big, round things are green.
((("something" "is" "big" "+") ("something" "is" "round" "+")) -> ("something" "is" "green" "+"))
If something is green and quiet then it is big.
((("something" "is" "green" "+") ("something" "is" "quiet" "+")) -> ("something" "is" "big" "+"))
Bob is kind.
True
1
proof
[(triple8)]
("Bob" "is" "kind" "+")
triple8
Anne is not big.
False
1
inv-proof
[(triple1)]
("Anne" "is" "big" "-")
triple1
Fiona is big.
True
3
proof
[(((triple12 triple13) -> rule2))]
("Fiona" "is" "big" "+")
((triple12 triple13) -> (rule2 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is not big.
False
3
inv-proof
[(((triple12 triple13) -> rule2))]
("Fiona" "is" "big" "-")
((triple12 triple13) -> (rule2 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Gary is not green.
Unknown
inv-rconc
[@1: Gary is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "green" "-")
Fiona is kind.
Unknown
random
[@0: Fiona is kind.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "kind" "+")
Gary is not white.
Unknown
inv-random
[@0: Gary is white.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "white" "-")
Gary is red.
Unknown
random
[@0: Gary is red.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "red" "+")
@0: Anne is big.[(triple1)] Anne is kind.[(triple2)] Anne is red.[(triple3)] Anne is round.[(triple4)] Anne is white.[(triple5)] Bob is big.[(triple6 OR ((triple7 triple9) -> rule2))] Bob is green.[(triple7)] Bob is kind.[(triple8)] Bob is quiet.[(triple9)] Bob is red.[(triple10)] Bob is white.[(triple11)] Fiona is green.[(triple12)] Fiona is quiet.[(triple13)] Fiona is red.[(triple14)] Fiona is white.[(triple15)] Gary is big.[(triple16)] @1: Anne is green.[(((triple1 triple4) -> rule1))] Fiona is big.[(((triple12 triple13) -> rule2))]
Anne is big.
("Anne" "is" "big" "+")
triple1
Anne is kind.
("Anne" "is" "kind" "+")
triple2
Anne is red.
("Anne" "is" "red" "+")
triple3
Anne is round.
("Anne" "is" "round" "+")
triple4
Anne is white.
("Anne" "is" "white" "+")
triple5
Bob is big.
("Bob" "is" "big" "+")
triple6
((triple7 triple9) -> (rule2 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
triple7
Bob is kind.
("Bob" "is" "kind" "+")
triple8
Bob is quiet.
("Bob" "is" "quiet" "+")
triple9
Bob is red.
("Bob" "is" "red" "+")
triple10
Bob is white.
("Bob" "is" "white" "+")
triple11
Fiona is green.
("Fiona" "is" "green" "+")
triple12
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple13
Fiona is red.
("Fiona" "is" "red" "+")
triple14
Fiona is white.
("Fiona" "is" "white" "+")
triple15
Gary is big.
("Gary" "is" "big" "+")
triple16
Anne is green.
("Anne" "is" "green" "+")
((triple1 triple4) -> (rule1 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
((triple12 triple13) -> (rule2 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1