Bob is smart. Dave is big. Dave is smart. Dave is young. Fiona is blue. Fiona is cold. Fiona is quiet. Quiet, young people are blue. If Fiona is big then Fiona is white.
Bob is smart.
("Bob" "is" "smart" "+")
Dave is big.
("Dave" "is" "big" "+")
Dave is smart.
("Dave" "is" "smart" "+")
Dave is young.
("Dave" "is" "young" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Quiet, young people are blue.
((("someone" "is" "quiet" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "blue" "+"))
If Fiona is big then Fiona is white.
((("Fiona" "is" "big" "+")) -> ("Fiona" "is" "white" "+"))
Fiona is quiet.
True
1
proof
[(triple7)]
("Fiona" "is" "quiet" "+")
triple7
Fiona is not blue.
False
1
inv-proof
[(triple5)]
("Fiona" "is" "blue" "-")
triple5
Fiona is not white.
Unknown
inv-rconc
[@1: Fiona is white.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fiona" "is" "white" "-")
Dave is white.
Unknown
random
[@0: Dave is white.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "white" "+")
@0: Bob is smart.[(triple1)] Dave is big.[(triple2)] Dave is smart.[(triple3)] Dave is young.[(triple4)] Fiona is blue.[(triple5)] Fiona is cold.[(triple6)] Fiona is quiet.[(triple7)]
Bob is smart.
("Bob" "is" "smart" "+")
triple1
Dave is big.
("Dave" "is" "big" "+")
triple2
Dave is smart.
("Dave" "is" "smart" "+")
triple3
Dave is young.
("Dave" "is" "young" "+")
triple4
Fiona is blue.
("Fiona" "is" "blue" "+")
triple5
Fiona is cold.
("Fiona" "is" "cold" "+")
triple6
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple7