Anne is furry. Anne is kind. Anne is smart. Anne is young. Bob is not furry. Bob is kind. Bob is red. Bob is smart. Bob is young. Erin is not smart. Fiona is cold. Fiona is not furry. Fiona is kind. Fiona is red. Fiona is smart. If someone is young and cold then they are furry. If someone is kind and not cold then they are furry. White people are smart. If someone is young and white then they are not kind. Smart people are red. If Anne is white and Anne is not kind then Anne is smart.
Anne is furry.
("Anne" "is" "furry" "+")
Anne is kind.
("Anne" "is" "kind" "+")
Anne is smart.
("Anne" "is" "smart" "+")
Anne is young.
("Anne" "is" "young" "+")
Bob is not furry.
("Bob" "is" "furry" "-")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is smart.
("Bob" "is" "smart" "+")
Bob is young.
("Bob" "is" "young" "+")
Erin is not smart.
("Erin" "is" "smart" "-")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is not furry.
("Fiona" "is" "furry" "-")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
If someone is young and cold then they are furry.
((("someone" "is" "young" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "furry" "+"))
If someone is kind and not cold then they are furry.
((("someone" "is" "kind" "+") ("someone" "is" "cold" "~")) -> ("someone" "is" "furry" "+"))
White people are smart.
((("someone" "is" "white" "+")) -> ("someone" "is" "smart" "+"))
If someone is young and white then they are not kind.
((("someone" "is" "young" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "kind" "-"))
Smart people are red.
((("someone" "is" "smart" "+")) -> ("someone" "is" "red" "+"))
If Anne is white and Anne is not kind then Anne is smart.
((("Anne" "is" "white" "+") ("Anne" "is" "kind" "~")) -> ("Anne" "is" "smart" "+"))
Fiona is cold.
True
1
proof
[(triple11)]
("Fiona" "is" "cold" "+")
triple11
Bob is not kind.
False
1
inv-proof
[(triple6)]
("Bob" "is" "kind" "-")
triple6
Anne is red.
True
2
proof
[(((triple3) -> rule5))]
("Anne" "is" "red" "+")
((triple3) -> (rule5 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is not red.
False
2
inv-proof
[(((triple3) -> rule5))]
("Anne" "is" "red" "-")
((triple3) -> (rule5 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Erin is not furry.
Unknown
inv-rconc
[@1: Erin is furry.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Erin" "is" "furry" "-")
Erin is red.
Unknown
rconc
[@1: Erin is red.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Erin" "is" "red" "+")
Erin is not white.
Unknown
inv-random
[@0: Erin is white.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "white" "-")
Anne is white.
Unknown
random
[@0: Anne is white.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "white" "+")
@0: Anne is furry.[(triple1)] Anne is kind.[(triple2)] Anne is smart.[(triple3)] Anne is young.[(triple4)] Bob is kind.[(triple6)] Bob is not furry.[(triple5)] Bob is red.[(triple7 OR ((triple8) -> rule5))] Bob is smart.[(triple8)] Bob is young.[(triple9)] Erin is not smart.[(triple10)] Fiona is cold.[(triple11)] Fiona is kind.[(triple13)] Fiona is not furry.[(triple12)] Fiona is red.[(triple14 OR ((triple15) -> rule5))] Fiona is smart.[(triple15)] @1: Anne is red.[(((triple3) -> rule5))]
Anne is furry.
("Anne" "is" "furry" "+")
triple1
Anne is kind.
("Anne" "is" "kind" "+")
triple2
Anne is smart.
("Anne" "is" "smart" "+")
triple3
Anne is young.
("Anne" "is" "young" "+")
triple4
Bob is kind.
("Bob" "is" "kind" "+")
triple6
Bob is not furry.
("Bob" "is" "furry" "-")
triple5
Bob is red.
("Bob" "is" "red" "+")
triple7
((triple8) -> (rule5 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
triple8
Bob is young.
("Bob" "is" "young" "+")
triple9
Erin is not smart.
("Erin" "is" "smart" "-")
triple10
Fiona is cold.
("Fiona" "is" "cold" "+")
triple11
Fiona is kind.
("Fiona" "is" "kind" "+")
triple13
Fiona is not furry.
("Fiona" "is" "furry" "-")
triple12
Fiona is red.
("Fiona" "is" "red" "+")
triple14
((triple15) -> (rule5 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
triple15
Anne is red.
("Anne" "is" "red" "+")
((triple3) -> (rule5 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1