Anne is nice. Bob is quiet. Gary is not blue. If someone is quiet and not big then they are blue. All quiet, blue people are smart. Quiet people are smart. If someone is big then they are not young. Cold people are young. If someone is quiet then they are not young. All big, blue people are quiet. All blue people are not cold.
Anne is nice.
("Anne" "is" "nice" "+")
Bob is quiet.
("Bob" "is" "quiet" "+")
Gary is not blue.
("Gary" "is" "blue" "-")
If someone is quiet and not big then they are blue.
((("someone" "is" "quiet" "+") ("someone" "is" "big" "~")) -> ("someone" "is" "blue" "+"))
All quiet, blue people are smart.
((("someone" "is" "quiet" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "smart" "+"))
Quiet people are smart.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "smart" "+"))
If someone is big then they are not young.
((("someone" "is" "big" "+")) -> ("someone" "is" "young" "-"))
Cold people are young.
((("someone" "is" "cold" "+")) -> ("someone" "is" "young" "+"))
If someone is quiet then they are not young.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "young" "-"))
All big, blue people are quiet.
((("someone" "is" "big" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "quiet" "+"))
All blue people are not cold.
((("someone" "is" "blue" "+")) -> ("someone" "is" "cold" "-"))
Gary is not blue.
True
1
proof
[(triple3)]
("Gary" "is" "blue" "-")
triple3
Bob is not quiet.
False
1
inv-proof
[(triple2)]
("Bob" "is" "quiet" "-")
triple2
Anne is not quiet.
Unknown
inv-rconc
[@1: Anne is quiet.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Anne" "is" "quiet" "-")
Bob is big.
Unknown
random
[@0: Bob is big.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "big" "+")
@0: Anne is nice.[(triple1)] Bob is quiet.[(triple2)] Gary is not blue.[(triple3)] @1: Bob is not young.[(((triple2) -> rule6))] Bob is smart.[(((triple2) -> rule3))]
Anne is nice.
("Anne" "is" "nice" "+")
triple1
Bob is quiet.
("Bob" "is" "quiet" "+")
triple2
Gary is not blue.
("Gary" "is" "blue" "-")
triple3
Bob is not young.
("Bob" "is" "young" "-")
((triple2) -> (rule6 % int1))
Bob is not young.
("Bob" "is" "young" "-")
int1
Bob is smart.
("Bob" "is" "smart" "+")
((triple2) -> (rule3 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1