Anne is rough. Bob is cold. Fiona is not smart. Gary is rough. If Fiona is nice then Fiona is kind. If someone is furry and nice then they are not smart. If someone is furry and nice then they are smart. If someone is big then they are nice. If someone is smart and not nice then they are kind. All rough people are not kind. If someone is big and not kind then they are cold. If someone is furry and big then they are cold.
Anne is rough.
("Anne" "is" "rough" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Fiona is not smart.
("Fiona" "is" "smart" "-")
Gary is rough.
("Gary" "is" "rough" "+")
If Fiona is nice then Fiona is kind.
((("Fiona" "is" "nice" "+")) -> ("Fiona" "is" "kind" "+"))
If someone is furry and nice then they are not smart.
((("someone" "is" "furry" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "smart" "-"))
If someone is furry and nice then they are smart.
((("someone" "is" "furry" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "smart" "+"))
If someone is big then they are nice.
((("someone" "is" "big" "+")) -> ("someone" "is" "nice" "+"))
If someone is smart and not nice then they are kind.
((("someone" "is" "smart" "+") ("someone" "is" "nice" "~")) -> ("someone" "is" "kind" "+"))
All rough people are not kind.
((("someone" "is" "rough" "+")) -> ("someone" "is" "kind" "-"))
If someone is big and not kind then they are cold.
((("someone" "is" "big" "+") ("someone" "is" "kind" "~")) -> ("someone" "is" "cold" "+"))
If someone is furry and big then they are cold.
((("someone" "is" "furry" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "cold" "+"))
Gary is rough.
True
1
proof
[(triple4)]
("Gary" "is" "rough" "+")
triple4
Fiona is smart.
False
1
inv-proof
[(triple3)]
("Fiona" "is" "smart" "+")
triple3
Anne is not nice.
Unknown
inv-rconc
[@1: Anne is nice.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Anne" "is" "nice" "-")
Bob is furry.
Unknown
random
[@0: Bob is furry.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "furry" "+")
@0: Anne is rough.[(triple1)] Bob is cold.[(triple2)] Fiona is not smart.[(triple3)] Gary is rough.[(triple4)] @1: Anne is not kind.[(((triple1) -> rule6))] Gary is not kind.[(((triple4) -> rule6))]
Anne is rough.
("Anne" "is" "rough" "+")
triple1
Bob is cold.
("Bob" "is" "cold" "+")
triple2
Fiona is not smart.
("Fiona" "is" "smart" "-")
triple3
Gary is rough.
("Gary" "is" "rough" "+")
triple4
Anne is not kind.
("Anne" "is" "kind" "-")
((triple1) -> (rule6 % int1))
Anne is not kind.
("Anne" "is" "kind" "-")
int1
Gary is not kind.
("Gary" "is" "kind" "-")
((triple4) -> (rule6 % int1))
Gary is not kind.
("Gary" "is" "kind" "-")
int1