Charlie is quiet. Dave is not smart. Fiona is blue. Fiona is quiet. Fiona is red. Fiona is rough. Fiona is smart. If something is red and not rough then it is quiet. All blue things are not big. If something is round and not quiet then it is big.
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Dave is not smart.
("Dave" "is" "smart" "-")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
If something is red and not rough then it is quiet.
((("something" "is" "red" "+") ("something" "is" "rough" "~")) -> ("something" "is" "quiet" "+"))
All blue things are not big.
((("something" "is" "blue" "+")) -> ("something" "is" "big" "-"))
If something is round and not quiet then it is big.
((("something" "is" "round" "+") ("something" "is" "quiet" "~")) -> ("something" "is" "big" "+"))
Dave is not smart.
True
1
proof
[(triple2)]
("Dave" "is" "smart" "-")
triple2
Dave is smart.
False
1
inv-proof
[(triple2)]
("Dave" "is" "smart" "+")
triple2
Fiona is not big.
True
2
proof
[(((triple3) -> rule2))]
("Fiona" "is" "big" "-")
((triple3) -> (rule2 % int1))
Fiona is not big.
("Fiona" "is" "big" "-")
int1
Fiona is big.
False
2
inv-proof
[(((triple3) -> rule2))]
("Fiona" "is" "big" "+")
((triple3) -> (rule2 % int1))
Fiona is not big.
("Fiona" "is" "big" "-")
int1
Dave is not big.
Unknown
inv-rconc
[@1: Dave is big.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Dave" "is" "big" "-")
Dave is quiet.
Unknown
rconc
[@1: Dave is quiet.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "quiet" "+")
Charlie is not round.
Unknown
inv-random
[@0: Charlie is round.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "round" "-")
Charlie is red.
Unknown
random
[@0: Charlie is red.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "red" "+")
@0: Charlie is quiet.[(triple1)] Dave is not smart.[(triple2)] Fiona is blue.[(triple3)] Fiona is quiet.[(triple4)] Fiona is red.[(triple5)] Fiona is rough.[(triple6)] Fiona is smart.[(triple7)] @1: Fiona is not big.[(((triple3) -> rule2))]
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple1
Dave is not smart.
("Dave" "is" "smart" "-")
triple2
Fiona is blue.
("Fiona" "is" "blue" "+")
triple3
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple4
Fiona is red.
("Fiona" "is" "red" "+")
triple5
Fiona is rough.
("Fiona" "is" "rough" "+")
triple6
Fiona is smart.
("Fiona" "is" "smart" "+")
triple7
Fiona is not big.
("Fiona" "is" "big" "-")
((triple3) -> (rule2 % int1))
Fiona is not big.
("Fiona" "is" "big" "-")
int1