Anne is blue. Anne is cold. Anne is kind. Anne is nice. Anne is quiet. Anne is smart. Dave is cold. Dave is nice. Dave is quiet. Dave is smart. Nice, cold people are kind. All furry, smart people are cold.
Anne is blue.
("Anne" "is" "blue" "+")
Anne is cold.
("Anne" "is" "cold" "+")
Anne is kind.
("Anne" "is" "kind" "+")
Anne is nice.
("Anne" "is" "nice" "+")
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is smart.
("Anne" "is" "smart" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is quiet.
("Dave" "is" "quiet" "+")
Dave is smart.
("Dave" "is" "smart" "+")
Nice, cold people are kind.
((("someone" "is" "nice" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "kind" "+"))
All furry, smart people are cold.
((("someone" "is" "furry" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "cold" "+"))
Anne is smart.
True
1
proof
[(triple6)]
("Anne" "is" "smart" "+")
triple6
Anne is not quiet.
False
1
inv-proof
[(triple5)]
("Anne" "is" "quiet" "-")
triple5
Dave is kind.
True
3
proof
[(((triple8 triple7) -> rule1))]
("Dave" "is" "kind" "+")
((triple8 triple7) -> (rule1 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is not kind.
False
3
inv-proof
[(((triple8 triple7) -> rule1))]
("Dave" "is" "kind" "-")
((triple8 triple7) -> (rule1 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Anne is not furry.
Unknown
inv-random
[@0: Anne is furry.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "furry" "-")
Dave is blue.
Unknown
random
[@0: Dave is blue.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "blue" "+")
@0: Anne is blue.[(triple1)] Anne is cold.[(triple2)] Anne is kind.[(triple3 OR ((triple4 triple2) -> rule1))] Anne is nice.[(triple4)] Anne is quiet.[(triple5)] Anne is smart.[(triple6)] Dave is cold.[(triple7)] Dave is nice.[(triple8)] Dave is quiet.[(triple9)] Dave is smart.[(triple10)] @1: Dave is kind.[(((triple8 triple7) -> rule1))]
Anne is blue.
("Anne" "is" "blue" "+")
triple1
Anne is cold.
("Anne" "is" "cold" "+")
triple2
Anne is kind.
("Anne" "is" "kind" "+")
triple3
((triple4 triple2) -> (rule1 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
triple4
Anne is quiet.
("Anne" "is" "quiet" "+")
triple5
Anne is smart.
("Anne" "is" "smart" "+")
triple6
Dave is cold.
("Dave" "is" "cold" "+")
triple7
Dave is nice.
("Dave" "is" "nice" "+")
triple8
Dave is quiet.
("Dave" "is" "quiet" "+")
triple9
Dave is smart.
("Dave" "is" "smart" "+")
triple10
Dave is kind.
("Dave" "is" "kind" "+")
((triple8 triple7) -> (rule1 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1