Bob is quiet. Fiona is young. If someone is blue and not white then they are quiet. All smart, young people are kind. If someone is smart and not young then they are kind.
Bob is quiet.
("Bob" "is" "quiet" "+")
Fiona is young.
("Fiona" "is" "young" "+")
If someone is blue and not white then they are quiet.
((("someone" "is" "blue" "+") ("someone" "is" "white" "~")) -> ("someone" "is" "quiet" "+"))
All smart, young people are kind.
((("someone" "is" "smart" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "kind" "+"))
If someone is smart and not young then they are kind.
((("someone" "is" "smart" "+") ("someone" "is" "young" "~")) -> ("someone" "is" "kind" "+"))
Fiona is young.
True
1
proof
[(triple2)]
("Fiona" "is" "young" "+")
triple2
Bob is not quiet.
False
1
inv-proof
[(triple1)]
("Bob" "is" "quiet" "-")
triple1
Fiona is not kind.
Unknown
inv-rconc
[@1: Fiona is kind.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fiona" "is" "kind" "-")
Bob is big.
Unknown
random
[@0: Bob is big.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "big" "+")
@0: Bob is quiet.[(triple1)] Fiona is young.[(triple2)]
Bob is quiet.
("Bob" "is" "quiet" "+")
triple1
Fiona is young.
("Fiona" "is" "young" "+")
triple2