Anne is furry. Anne is smart. Bob is blue. Bob is furry. Charlie is cold. Charlie is round. Erin is blue. All nice, furry people are smart. Round people are white.
Anne is furry.
("Anne" "is" "furry" "+")
Anne is smart.
("Anne" "is" "smart" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Bob is furry.
("Bob" "is" "furry" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Erin is blue.
("Erin" "is" "blue" "+")
All nice, furry people are smart.
((("someone" "is" "nice" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "smart" "+"))
Round people are white.
((("someone" "is" "round" "+")) -> ("someone" "is" "white" "+"))
Charlie is round.
True
1
proof
[(triple6)]
("Charlie" "is" "round" "+")
triple6
Erin is not blue.
False
1
inv-proof
[(triple7)]
("Erin" "is" "blue" "-")
triple7
Bob is not white.
Unknown
inv-rconc
[@1: Bob is white.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "white" "-")
Anne is blue.
Unknown
random
[@0: Anne is blue.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "blue" "+")
@0: Anne is furry.[(triple1)] Anne is smart.[(triple2)] Bob is blue.[(triple3)] Bob is furry.[(triple4)] Charlie is cold.[(triple5)] Charlie is round.[(triple6)] Erin is blue.[(triple7)] @1: Charlie is white.[(((triple6) -> rule2))]
Anne is furry.
("Anne" "is" "furry" "+")
triple1
Anne is smart.
("Anne" "is" "smart" "+")
triple2
Bob is blue.
("Bob" "is" "blue" "+")
triple3
Bob is furry.
("Bob" "is" "furry" "+")
triple4
Charlie is cold.
("Charlie" "is" "cold" "+")
triple5
Charlie is round.
("Charlie" "is" "round" "+")
triple6
Erin is blue.
("Erin" "is" "blue" "+")
triple7
Charlie is white.
("Charlie" "is" "white" "+")
((triple6) -> (rule2 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1