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