Anne is big. Anne is quiet. Anne is smart. Fiona is big. Fiona is furry. Fiona is quiet. Gary is big. Gary is not nice. Gary is quiet. Harry is quiet. If Fiona is quiet and Fiona is smart then Fiona is nice. If something is kind then it is nice. If something is quiet and not nice then it is not furry. All quiet, nice things are furry. If something is quiet and not furry then it is cold. If something is kind then it is cold.
Anne is big.
("Anne" "is" "big" "+")
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is smart.
("Anne" "is" "smart" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is not nice.
("Gary" "is" "nice" "-")
Gary is quiet.
("Gary" "is" "quiet" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
If Fiona is quiet and Fiona is smart then Fiona is nice.
((("Fiona" "is" "quiet" "+") ("Fiona" "is" "smart" "+")) -> ("Fiona" "is" "nice" "+"))
If something is kind then it is nice.
((("something" "is" "kind" "+")) -> ("something" "is" "nice" "+"))
If something is quiet and not nice then it is not furry.
((("something" "is" "quiet" "+") ("something" "is" "nice" "~")) -> ("something" "is" "furry" "-"))
All quiet, nice things are furry.
((("something" "is" "quiet" "+") ("something" "is" "nice" "+")) -> ("something" "is" "furry" "+"))
If something is quiet and not furry then it is cold.
((("something" "is" "quiet" "+") ("something" "is" "furry" "~")) -> ("something" "is" "cold" "+"))
If something is kind then it is cold.
((("something" "is" "kind" "+")) -> ("something" "is" "cold" "+"))
Fiona is quiet.
True
1
proof
[(triple6)]
("Fiona" "is" "quiet" "+")
triple6
Harry is not quiet.
False
1
inv-proof
[(triple10)]
("Harry" "is" "quiet" "-")
triple10
Gary is not furry.
True
3
proof
[(((triple9 triple8) -> rule3))]
("Gary" "is" "furry" "-")
((triple9 triple8) -> (rule3 % int1))
Gary is not furry.
("Gary" "is" "furry" "-")
int1
Gary is furry.
False
3
inv-proof
[(((triple9 triple8) -> rule3))]
("Gary" "is" "furry" "+")
((triple9 triple8) -> (rule3 % int1))
Gary is not furry.
("Gary" "is" "furry" "-")
int1
Anne is not nice.
Unknown
inv-rconc
[@1: Anne is nice.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Anne" "is" "nice" "-")
Harry is nice.
Unknown
rconc
[@1: Harry is nice.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Harry" "is" "nice" "+")
Anne is not kind.
Unknown
inv-random
[@0: Anne is kind.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "kind" "-")
Gary is smart.
Unknown
random
[@0: Gary is smart.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "smart" "+")
@0: Anne is big.[(triple1)] Anne is quiet.[(triple2)] Anne is smart.[(triple3)] Fiona is big.[(triple4)] Fiona is furry.[(triple5)] Fiona is quiet.[(triple6)] Gary is big.[(triple7)] Gary is not nice.[(triple8)] Gary is quiet.[(triple9)] Harry is quiet.[(triple10)] @1: Gary is not furry.[(((triple9 triple8) -> rule3))] @2: Gary is cold.[(((triple9 ((triple9 triple8) -> rule3)) -> rule5))]
Anne is big.
("Anne" "is" "big" "+")
triple1
Anne is quiet.
("Anne" "is" "quiet" "+")
triple2
Anne is smart.
("Anne" "is" "smart" "+")
triple3
Fiona is big.
("Fiona" "is" "big" "+")
triple4
Fiona is furry.
("Fiona" "is" "furry" "+")
triple5
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple6
Gary is big.
("Gary" "is" "big" "+")
triple7
Gary is not nice.
("Gary" "is" "nice" "-")
triple8
Gary is quiet.
("Gary" "is" "quiet" "+")
triple9
Harry is quiet.
("Harry" "is" "quiet" "+")
triple10
Gary is not furry.
("Gary" "is" "furry" "-")
((triple9 triple8) -> (rule3 % int1))
Gary is not furry.
("Gary" "is" "furry" "-")
int1
Gary is cold.
("Gary" "is" "cold" "+")
((triple9 ((triple9 triple8) -> (rule3 % int2))) -> (rule5 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is not furry.
("Gary" "is" "furry" "-")
int2