Bob is big. Bob is white. Bob is young. Charlie is red. Dave is not quiet. Dave is young. Fiona is green. Fiona is quiet. Fiona is red. Fiona is white. Big people are red. Quiet people are not cold.
Bob is big.
("Bob" "is" "big" "+")
Bob is white.
("Bob" "is" "white" "+")
Bob is young.
("Bob" "is" "young" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Dave is not quiet.
("Dave" "is" "quiet" "-")
Dave is young.
("Dave" "is" "young" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Big people are red.
((("someone" "is" "big" "+")) -> ("someone" "is" "red" "+"))
Quiet people are not cold.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "cold" "-"))
Fiona is white.
True
1
proof
[(triple10)]
("Fiona" "is" "white" "+")
triple10
Charlie is not red.
False
1
inv-proof
[(triple4)]
("Charlie" "is" "red" "-")
triple4
Bob is red.
True
2
proof
[(((triple1) -> rule1))]
("Bob" "is" "red" "+")
((triple1) -> (rule1 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Fiona is cold.
False
2
inv-proof
[(((triple8) -> rule2))]
("Fiona" "is" "cold" "+")
((triple8) -> (rule2 % int1))
Fiona is not cold.
("Fiona" "is" "cold" "-")
int1
Dave is not red.
Unknown
inv-rconc
[@1: Dave is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "red" "-")
Fiona is young.
Unknown
random
[@0: Fiona is young.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "young" "+")
Bob is not quiet.
Unknown
inv-random
[@0: Bob is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "quiet" "-")
Dave is green.
Unknown
random
[@0: Dave is green.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "green" "+")
@0: Bob is big.[(triple1)] Bob is white.[(triple2)] Bob is young.[(triple3)] Charlie is red.[(triple4)] Dave is not quiet.[(triple5)] Dave is young.[(triple6)] Fiona is green.[(triple7)] Fiona is quiet.[(triple8)] Fiona is red.[(triple9)] Fiona is white.[(triple10)] @1: Bob is red.[(((triple1) -> rule1))] Fiona is not cold.[(((triple8) -> rule2))]
Bob is big.
("Bob" "is" "big" "+")
triple1
Bob is white.
("Bob" "is" "white" "+")
triple2
Bob is young.
("Bob" "is" "young" "+")
triple3
Charlie is red.
("Charlie" "is" "red" "+")
triple4
Dave is not quiet.
("Dave" "is" "quiet" "-")
triple5
Dave is young.
("Dave" "is" "young" "+")
triple6
Fiona is green.
("Fiona" "is" "green" "+")
triple7
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple8
Fiona is red.
("Fiona" "is" "red" "+")
triple9
Fiona is white.
("Fiona" "is" "white" "+")
triple10
Bob is red.
("Bob" "is" "red" "+")
((triple1) -> (rule1 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Fiona is not cold.
("Fiona" "is" "cold" "-")
((triple8) -> (rule2 % int1))
Fiona is not cold.
("Fiona" "is" "cold" "-")
int1