Anne is white. Fiona is not red. Gary is smart. Harry is white. If something is furry and big then it is red. If something is white then it is not quiet. If something is white and furry then it is quiet. If something is quiet and not big then it is smart. If Harry is not young and Harry is not big then Harry is not furry. If Anne is quiet and Anne is smart then Anne is white.
Anne is white.
("Anne" "is" "white" "+")
Fiona is not red.
("Fiona" "is" "red" "-")
Gary is smart.
("Gary" "is" "smart" "+")
Harry is white.
("Harry" "is" "white" "+")
If something is furry and big then it is red.
((("something" "is" "furry" "+") ("something" "is" "big" "+")) -> ("something" "is" "red" "+"))
If something is white then it is not quiet.
((("something" "is" "white" "+")) -> ("something" "is" "quiet" "-"))
If something is white and furry then it is quiet.
((("something" "is" "white" "+") ("something" "is" "furry" "+")) -> ("something" "is" "quiet" "+"))
If something is quiet and not big then it is smart.
((("something" "is" "quiet" "+") ("something" "is" "big" "~")) -> ("something" "is" "smart" "+"))
If Harry is not young and Harry is not big then Harry is not furry.
((("Harry" "is" "young" "~") ("Harry" "is" "big" "~")) -> ("Harry" "is" "furry" "-"))
If Anne is quiet and Anne is smart then Anne is white.
((("Anne" "is" "quiet" "+") ("Anne" "is" "smart" "+")) -> ("Anne" "is" "white" "+"))
Fiona is not red.
True
1
proof
[(triple2)]
("Fiona" "is" "red" "-")
triple2
Anne is not white.
False
1
inv-proof
[(triple1)]
("Anne" "is" "white" "-")
triple1
Anne is not quiet.
True
2
proof
[(((triple1) -> rule2))]
("Anne" "is" "quiet" "-")
((triple1) -> (rule2 % int1))
Anne is not quiet.
("Anne" "is" "quiet" "-")
int1
Harry is quiet.
False
2
inv-proof
[(((triple4) -> rule2))]
("Harry" "is" "quiet" "+")
((triple4) -> (rule2 % int1))
Harry is not quiet.
("Harry" "is" "quiet" "-")
int1
Gary is not quiet.
Unknown
inv-rconc
[@1: Gary is quiet.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Gary" "is" "quiet" "-")
Harry is smart.
Unknown
rconc
[@1: Harry is smart.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Harry" "is" "smart" "+")
Fiona is not young.
Unknown
inv-random
[@0: Fiona is young.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "young" "-")
Gary is big.
Unknown
random
[@0: Gary is big.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "big" "+")
@0: Anne is white.[(triple1)] Fiona is not red.[(triple2)] Gary is smart.[(triple3)] Harry is white.[(triple4)] @1: Anne is not quiet.[(((triple1) -> rule2))] Harry is not quiet.[(((triple4) -> rule2))]
Anne is white.
("Anne" "is" "white" "+")
triple1
Fiona is not red.
("Fiona" "is" "red" "-")
triple2
Gary is smart.
("Gary" "is" "smart" "+")
triple3
Harry is white.
("Harry" "is" "white" "+")
triple4
Anne is not quiet.
("Anne" "is" "quiet" "-")
((triple1) -> (rule2 % int1))
Anne is not quiet.
("Anne" "is" "quiet" "-")
int1
Harry is not quiet.
("Harry" "is" "quiet" "-")
((triple4) -> (rule2 % int1))
Harry is not quiet.
("Harry" "is" "quiet" "-")
int1