Charlie is furry. If Charlie is furry then Charlie is cold. All furry, green people are young. If Charlie is cold and Charlie is green then Charlie is not nice. All white, young people are not cold. If someone is nice then they are not green. If Charlie is green and Charlie is not nice then Charlie is smart.
Charlie is furry.
("Charlie" "is" "furry" "+")
If Charlie is furry then Charlie is cold.
((("Charlie" "is" "furry" "+")) -> ("Charlie" "is" "cold" "+"))
All furry, green people are young.
((("someone" "is" "furry" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "young" "+"))
If Charlie is cold and Charlie is green then Charlie is not nice.
((("Charlie" "is" "cold" "+") ("Charlie" "is" "green" "+")) -> ("Charlie" "is" "nice" "-"))
All white, young people are not cold.
((("someone" "is" "white" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "cold" "-"))
If someone is nice then they are not green.
((("someone" "is" "nice" "+")) -> ("someone" "is" "green" "-"))
If Charlie is green and Charlie is not nice then Charlie is smart.
((("Charlie" "is" "green" "+") ("Charlie" "is" "nice" "~")) -> ("Charlie" "is" "smart" "+"))
Charlie is furry.
True
1
proof
[(triple1)]
("Charlie" "is" "furry" "+")
triple1
Charlie is not furry.
False
1
inv-proof
[(triple1)]
("Charlie" "is" "furry" "-")
triple1
Charlie is cold.
True
2
proof
[(((triple1) -> rule1))]
("Charlie" "is" "cold" "+")
((triple1) -> (rule1 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is not cold.
False
2
inv-proof
[(((triple1) -> rule1))]
("Charlie" "is" "cold" "-")
((triple1) -> (rule1 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is not smart.
Unknown
inv-rconc
[@1: Charlie is smart.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Charlie" "is" "smart" "-")
Charlie is young.
Unknown
rconc
[@1: Charlie is young.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Charlie" "is" "young" "+")
Charlie is not nice.
Unknown
inv-random
[@0: Charlie is nice.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "nice" "-")
Charlie is green.
Unknown
random
[@0: Charlie is green.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "green" "+")
@0: Charlie is furry.[(triple1)] @1: Charlie is cold.[(((triple1) -> rule1))]
Charlie is furry.
("Charlie" "is" "furry" "+")
triple1
Charlie is cold.
("Charlie" "is" "cold" "+")
((triple1) -> (rule1 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1