Anne is not red. Bob is quiet. Dave is not smart. Fiona is not smart. All rough things are not smart. If something is rough and nice then it is smart. All nice, furry things are not red. If something is big and not furry then it is not nice. All nice, furry things are not quiet. If Anne is not big then Anne is nice. If Anne is big and Anne is nice then Anne is rough. If something is quiet then it is rough.
Anne is not red.
("Anne" "is" "red" "-")
Bob is quiet.
("Bob" "is" "quiet" "+")
Dave is not smart.
("Dave" "is" "smart" "-")
Fiona is not smart.
("Fiona" "is" "smart" "-")
All rough things are not smart.
((("something" "is" "rough" "+")) -> ("something" "is" "smart" "-"))
If something is rough and nice then it is smart.
((("something" "is" "rough" "+") ("something" "is" "nice" "+")) -> ("something" "is" "smart" "+"))
All nice, furry things are not red.
((("something" "is" "nice" "+") ("something" "is" "furry" "+")) -> ("something" "is" "red" "-"))
If something is big and not furry then it is not nice.
((("something" "is" "big" "+") ("something" "is" "furry" "~")) -> ("something" "is" "nice" "-"))
All nice, furry things are not quiet.
((("something" "is" "nice" "+") ("something" "is" "furry" "+")) -> ("something" "is" "quiet" "-"))
If Anne is not big then Anne is nice.
((("Anne" "is" "big" "~")) -> ("Anne" "is" "nice" "+"))
If Anne is big and Anne is nice then Anne is rough.
((("Anne" "is" "big" "+") ("Anne" "is" "nice" "+")) -> ("Anne" "is" "rough" "+"))
If something is quiet then it is rough.
((("something" "is" "quiet" "+")) -> ("something" "is" "rough" "+"))
Anne is not red.
True
1
proof
[(triple1)]
("Anne" "is" "red" "-")
triple1
Anne is red.
False
1
inv-proof
[(triple1)]
("Anne" "is" "red" "+")
triple1
Fiona is not rough.
Unknown
inv-rconc
[@1: Fiona is rough.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("Fiona" "is" "rough" "-")
Anne is quiet.
Unknown
random
[@0: Anne is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "quiet" "+")
@0: Anne is not red.[(triple1)] Bob is quiet.[(triple2)] Dave is not smart.[(triple3)] Fiona is not smart.[(triple4)] @1: Bob is rough.[(((triple2) -> rule8))] @2: Bob is not smart.[(((((triple2) -> rule8)) -> rule1))]
Anne is not red.
("Anne" "is" "red" "-")
triple1
Bob is quiet.
("Bob" "is" "quiet" "+")
triple2
Dave is not smart.
("Dave" "is" "smart" "-")
triple3
Fiona is not smart.
("Fiona" "is" "smart" "-")
triple4
Bob is rough.
("Bob" "is" "rough" "+")
((triple2) -> (rule8 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is not smart.
("Bob" "is" "smart" "-")
((((triple2) -> (rule8 % int2))) -> (rule1 % int1))
Bob is not smart.
("Bob" "is" "smart" "-")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2