Anne is nice. Anne is round. Bob is rough. Bob is round. Fiona is green. Fiona is nice. Fiona is rough. Round things are green. If something is green and round then it is kind.
Anne is nice.
("Anne" "is" "nice" "+")
Anne is round.
("Anne" "is" "round" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is round.
("Bob" "is" "round" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Round things are green.
((("something" "is" "round" "+")) -> ("something" "is" "green" "+"))
If something is green and round then it is kind.
((("something" "is" "green" "+") ("something" "is" "round" "+")) -> ("something" "is" "kind" "+"))
Bob is round.
True
1
proof
[(triple4)]
("Bob" "is" "round" "+")
triple4
Anne is not round.
False
1
inv-proof
[(triple2)]
("Anne" "is" "round" "-")
triple2
Anne is green.
True
2
proof
[(((triple2) -> rule1))]
("Anne" "is" "green" "+")
((triple2) -> (rule1 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Bob is not green.
False
2
inv-proof
[(((triple4) -> rule1))]
("Bob" "is" "green" "-")
((triple4) -> (rule1 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is kind.
True
4
proof
[(((((triple4) -> rule1) triple4) -> rule2))]
("Bob" "is" "kind" "+")
((((triple4) -> (rule1 % int2)) triple4) -> (rule2 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is not kind.
False
4
inv-proof
[(((((triple4) -> rule1) triple4) -> rule2))]
("Bob" "is" "kind" "-")
((((triple4) -> (rule1 % int2)) triple4) -> (rule2 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Fiona is not kind.
Unknown
inv-rconc
[@1: Fiona is kind.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fiona" "is" "kind" "-")
Fiona is white.
Unknown
random
[@0: Fiona is white.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "white" "+")
Fiona is not round.
Unknown
inv-random
[@0: Fiona is round.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "round" "-")
Fiona is big.
Unknown
random
[@0: Fiona is big.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "big" "+")
Bob is not nice.
Unknown
inv-random
[@0: Bob is nice.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "nice" "-")
Anne is big.
Unknown
random
[@0: Anne is big.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "big" "+")
@0: Anne is nice.[(triple1)] Anne is round.[(triple2)] Bob is rough.[(triple3)] Bob is round.[(triple4)] Fiona is green.[(triple5)] Fiona is nice.[(triple6)] Fiona is rough.[(triple7)] @1: Anne is green.[(((triple2) -> rule1))] Bob is green.[(((triple4) -> rule1))] @2: Anne is kind.[(((((triple2) -> rule1) triple2) -> rule2))] Bob is kind.[(((((triple4) -> rule1) triple4) -> rule2))]
Anne is nice.
("Anne" "is" "nice" "+")
triple1
Anne is round.
("Anne" "is" "round" "+")
triple2
Bob is rough.
("Bob" "is" "rough" "+")
triple3
Bob is round.
("Bob" "is" "round" "+")
triple4
Fiona is green.
("Fiona" "is" "green" "+")
triple5
Fiona is nice.
("Fiona" "is" "nice" "+")
triple6
Fiona is rough.
("Fiona" "is" "rough" "+")
triple7
Anne is green.
("Anne" "is" "green" "+")
((triple2) -> (rule1 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
((triple4) -> (rule1 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
((((triple2) -> (rule1 % int2)) triple2) -> (rule2 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
((((triple4) -> (rule1 % int2)) triple4) -> (rule2 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2