Bob is quiet. Bob is white. Bob is young. Fiona is big. Fiona is quiet. Fiona is red. Fiona is not young. If something is kind then it is not rough. If something is white and not red then it is rough. If Fiona is kind and Fiona is not rough then Fiona is young.
Bob is quiet.
("Bob" "is" "quiet" "+")
Bob is white.
("Bob" "is" "white" "+")
Bob is young.
("Bob" "is" "young" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is not young.
("Fiona" "is" "young" "-")
If something is kind then it is not rough.
((("something" "is" "kind" "+")) -> ("something" "is" "rough" "-"))
If something is white and not red then it is rough.
((("something" "is" "white" "+") ("something" "is" "red" "~")) -> ("something" "is" "rough" "+"))
If Fiona is kind and Fiona is not rough then Fiona is young.
((("Fiona" "is" "kind" "+") ("Fiona" "is" "rough" "~")) -> ("Fiona" "is" "young" "+"))
Fiona is not young.
True
1
proof
[(triple7)]
("Fiona" "is" "young" "-")
triple7
Fiona is not red.
False
1
inv-proof
[(triple6)]
("Fiona" "is" "red" "-")
triple6
Bob is not rough.
Unknown
inv-rconc
[@1: Bob is rough.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "rough" "-")
Bob is kind.
Unknown
random
[@0: Bob is kind.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "kind" "+")
@0: Bob is quiet.[(triple1)] Bob is white.[(triple2)] Bob is young.[(triple3)] Fiona is big.[(triple4)] Fiona is not young.[(triple7)] Fiona is quiet.[(triple5)] Fiona is red.[(triple6)]
Bob is quiet.
("Bob" "is" "quiet" "+")
triple1
Bob is white.
("Bob" "is" "white" "+")
triple2
Bob is young.
("Bob" "is" "young" "+")
triple3
Fiona is big.
("Fiona" "is" "big" "+")
triple4
Fiona is not young.
("Fiona" "is" "young" "-")
triple7
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple5
Fiona is red.
("Fiona" "is" "red" "+")
triple6