Anne is blue. Anne is nice. Bob is not big. Bob is blue. Bob is not nice. Bob is quiet. Bob is not red. Bob is white. Bob is young. Fiona is nice. Fiona is red. Fiona is white. Blue people are quiet.
Anne is blue.
("Anne" "is" "blue" "+")
Anne is nice.
("Anne" "is" "nice" "+")
Bob is not big.
("Bob" "is" "big" "-")
Bob is blue.
("Bob" "is" "blue" "+")
Bob is not nice.
("Bob" "is" "nice" "-")
Bob is quiet.
("Bob" "is" "quiet" "+")
Bob is not red.
("Bob" "is" "red" "-")
Bob is white.
("Bob" "is" "white" "+")
Bob is young.
("Bob" "is" "young" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Blue people are quiet.
((("someone" "is" "blue" "+")) -> ("someone" "is" "quiet" "+"))
Bob is not big.
True
1
proof
[(triple3)]
("Bob" "is" "big" "-")
triple3
Anne is not blue.
False
1
inv-proof
[(triple1)]
("Anne" "is" "blue" "-")
triple1
Anne is quiet.
True
2
proof
[(((triple1) -> rule1))]
("Anne" "is" "quiet" "+")
((triple1) -> (rule1 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is not quiet.
False
2
inv-proof
[(((triple1) -> rule1))]
("Anne" "is" "quiet" "-")
((triple1) -> (rule1 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Fiona is not quiet.
Unknown
inv-rconc
[@1: Fiona is quiet.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fiona" "is" "quiet" "-")
Fiona is big.
Unknown
random
[@0: Fiona is big.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "big" "+")
Fiona is not blue.
Unknown
inv-random
[@0: Fiona is blue.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "blue" "-")
Anne is red.
Unknown
random
[@0: Anne is red.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "red" "+")
@0: Anne is blue.[(triple1)] Anne is nice.[(triple2)] Bob is blue.[(triple4)] Bob is not big.[(triple3)] Bob is not nice.[(triple5)] Bob is not red.[(triple7)] Bob is quiet.[(triple6 OR ((triple4) -> rule1))] Bob is white.[(triple8)] Bob is young.[(triple9)] Fiona is nice.[(triple10)] Fiona is red.[(triple11)] Fiona is white.[(triple12)] @1: Anne is quiet.[(((triple1) -> rule1))]
Anne is blue.
("Anne" "is" "blue" "+")
triple1
Anne is nice.
("Anne" "is" "nice" "+")
triple2
Bob is blue.
("Bob" "is" "blue" "+")
triple4
Bob is not big.
("Bob" "is" "big" "-")
triple3
Bob is not nice.
("Bob" "is" "nice" "-")
triple5
Bob is not red.
("Bob" "is" "red" "-")
triple7
Bob is quiet.
("Bob" "is" "quiet" "+")
triple6
((triple4) -> (rule1 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
triple8
Bob is young.
("Bob" "is" "young" "+")
triple9
Fiona is nice.
("Fiona" "is" "nice" "+")
triple10
Fiona is red.
("Fiona" "is" "red" "+")
triple11
Fiona is white.
("Fiona" "is" "white" "+")
triple12
Anne is quiet.
("Anne" "is" "quiet" "+")
((triple1) -> (rule1 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1