Anne is furry. Anne is nice. Anne is quiet. Bob is blue. Bob is kind. Bob is nice. Bob is smart. Charlie is furry. Charlie is kind. Charlie is nice. Charlie is quiet. Charlie is smart. All young, blue people are kind. If Anne is smart then Anne is nice. If Anne is furry then Anne is nice.
Anne is furry.
("Anne" "is" "furry" "+")
Anne is nice.
("Anne" "is" "nice" "+")
Anne is quiet.
("Anne" "is" "quiet" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is smart.
("Bob" "is" "smart" "+")
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Charlie is smart.
("Charlie" "is" "smart" "+")
All young, blue people are kind.
((("someone" "is" "young" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "kind" "+"))
If Anne is smart then Anne is nice.
((("Anne" "is" "smart" "+")) -> ("Anne" "is" "nice" "+"))
If Anne is furry then Anne is nice.
((("Anne" "is" "furry" "+")) -> ("Anne" "is" "nice" "+"))
Bob is kind.
True
1
proof
[(triple5)]
("Bob" "is" "kind" "+")
triple5
Charlie is not kind.
False
1
inv-proof
[(triple9)]
("Charlie" "is" "kind" "-")
triple9
Anne is not kind.
Unknown
inv-rconc
[@1: Anne is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Anne" "is" "kind" "-")
Charlie is young.
Unknown
random
[@0: Charlie is young.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "young" "+")
@0: Anne is furry.[(triple1)] Anne is nice.[(triple2 OR ((triple1) -> rule3))] Anne is quiet.[(triple3)] Bob is blue.[(triple4)] Bob is kind.[(triple5)] Bob is nice.[(triple6)] Bob is smart.[(triple7)] Charlie is furry.[(triple8)] Charlie is kind.[(triple9)] Charlie is nice.[(triple10)] Charlie is quiet.[(triple11)] Charlie is smart.[(triple12)]
Anne is furry.
("Anne" "is" "furry" "+")
triple1
Anne is nice.
("Anne" "is" "nice" "+")
triple2
((triple1) -> (rule3 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
triple3
Bob is blue.
("Bob" "is" "blue" "+")
triple4
Bob is kind.
("Bob" "is" "kind" "+")
triple5
Bob is nice.
("Bob" "is" "nice" "+")
triple6
Bob is smart.
("Bob" "is" "smart" "+")
triple7
Charlie is furry.
("Charlie" "is" "furry" "+")
triple8
Charlie is kind.
("Charlie" "is" "kind" "+")
triple9
Charlie is nice.
("Charlie" "is" "nice" "+")
triple10
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple11
Charlie is smart.
("Charlie" "is" "smart" "+")
triple12