Bob is not round. Charlie is kind. Charlie is quiet. If someone is kind then they are cold. All big people are not cold. Quiet, big people are not cold. Kind, furry people are cold. If Bob is round and Bob is kind then Bob is cold. All furry people are not big.
Bob is not round.
("Bob" "is" "round" "-")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is quiet.
("Charlie" "is" "quiet" "+")
If someone is kind then they are cold.
((("someone" "is" "kind" "+")) -> ("someone" "is" "cold" "+"))
All big people are not cold.
((("someone" "is" "big" "+")) -> ("someone" "is" "cold" "-"))
Quiet, big people are not cold.
((("someone" "is" "quiet" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "cold" "-"))
Kind, furry people are cold.
((("someone" "is" "kind" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "cold" "+"))
If Bob is round and Bob is kind then Bob is cold.
((("Bob" "is" "round" "+") ("Bob" "is" "kind" "+")) -> ("Bob" "is" "cold" "+"))
All furry people are not big.
((("someone" "is" "furry" "+")) -> ("someone" "is" "big" "-"))
Bob is not round.
True
1
proof
[(triple1)]
("Bob" "is" "round" "-")
triple1
Charlie is not kind.
False
1
inv-proof
[(triple2)]
("Charlie" "is" "kind" "-")
triple2
Charlie is cold.
True
2
proof
[(((triple2) -> rule1))]
("Charlie" "is" "cold" "+")
((triple2) -> (rule1 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is not cold.
False
2
inv-proof
[(((triple2) -> rule1))]
("Charlie" "is" "cold" "-")
((triple2) -> (rule1 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Bob is not cold.
Unknown
inv-rconc
[@1: Bob is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "cold" "-")
Charlie is furry.
Unknown
random
[@0: Charlie is furry.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "furry" "+")
Charlie is not big.
Unknown
inv-random
[@0: Charlie is big.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "big" "-")
Bob is quiet.
Unknown
random
[@0: Bob is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "quiet" "+")
@0: Bob is not round.[(triple1)] Charlie is kind.[(triple2)] Charlie is quiet.[(triple3)] @1: Charlie is cold.[(((triple2) -> rule1))]
Bob is not round.
("Bob" "is" "round" "-")
triple1
Charlie is kind.
("Charlie" "is" "kind" "+")
triple2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple3
Charlie is cold.
("Charlie" "is" "cold" "+")
((triple2) -> (rule1 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1