Anne is not blue. Anne is smart. Anne is young. Bob is big. Bob is blue. Bob is not kind. Bob is nice. Bob is not smart. Charlie is nice. Erin is big. Erin is not nice. Erin is young. If Anne is not smart then Anne is young. Nice, kind people are blue. All nice, blue people are young.
Anne is not blue.
("Anne" "is" "blue" "-")
Anne is smart.
("Anne" "is" "smart" "+")
Anne is young.
("Anne" "is" "young" "+")
Bob is big.
("Bob" "is" "big" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Bob is not kind.
("Bob" "is" "kind" "-")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is not smart.
("Bob" "is" "smart" "-")
Charlie is nice.
("Charlie" "is" "nice" "+")
Erin is big.
("Erin" "is" "big" "+")
Erin is not nice.
("Erin" "is" "nice" "-")
Erin is young.
("Erin" "is" "young" "+")
If Anne is not smart then Anne is young.
((("Anne" "is" "smart" "~")) -> ("Anne" "is" "young" "+"))
Nice, kind people are blue.
((("someone" "is" "nice" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "blue" "+"))
All nice, blue people are young.
((("someone" "is" "nice" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "young" "+"))
Erin is young.
True
1
proof
[(triple12)]
("Erin" "is" "young" "+")
triple12
Bob is kind.
False
1
inv-proof
[(triple6)]
("Bob" "is" "kind" "+")
triple6
Charlie is not blue.
Unknown
inv-rconc
[@1: Charlie is blue.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Charlie" "is" "blue" "-")
Anne is big.
Unknown
random
[@0: Anne is big.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "big" "+")
@0: Anne is not blue.[(triple1)] Anne is smart.[(triple2)] Anne is young.[(triple3)] Bob is big.[(triple4)] Bob is blue.[(triple5)] Bob is nice.[(triple7)] Bob is not kind.[(triple6)] Bob is not smart.[(triple8)] Charlie is nice.[(triple9)] Erin is big.[(triple10)] Erin is not nice.[(triple11)] Erin is young.[(triple12)] @1: Bob is young.[(((triple7 triple5) -> rule3))]
Anne is not blue.
("Anne" "is" "blue" "-")
triple1
Anne is smart.
("Anne" "is" "smart" "+")
triple2
Anne is young.
("Anne" "is" "young" "+")
triple3
Bob is big.
("Bob" "is" "big" "+")
triple4
Bob is blue.
("Bob" "is" "blue" "+")
triple5
Bob is nice.
("Bob" "is" "nice" "+")
triple7
Bob is not kind.
("Bob" "is" "kind" "-")
triple6
Bob is not smart.
("Bob" "is" "smart" "-")
triple8
Charlie is nice.
("Charlie" "is" "nice" "+")
triple9
Erin is big.
("Erin" "is" "big" "+")
triple10
Erin is not nice.
("Erin" "is" "nice" "-")
triple11
Erin is young.
("Erin" "is" "young" "+")
triple12
Bob is young.
("Bob" "is" "young" "+")
((triple7 triple5) -> (rule3 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1