Anne is big. Anne is cold. Anne is not rough. Anne is young. Bob is big. Bob is furry. Bob is young. Dave is not blue. Dave is rough. Erin is furry. Erin is rough. Erin is young. If someone is big and not blue then they are nice. All young people are furry. If someone is rough and big then they are furry.
Anne is big.
("Anne" "is" "big" "+")
Anne is cold.
("Anne" "is" "cold" "+")
Anne is not rough.
("Anne" "is" "rough" "-")
Anne is young.
("Anne" "is" "young" "+")
Bob is big.
("Bob" "is" "big" "+")
Bob is furry.
("Bob" "is" "furry" "+")
Bob is young.
("Bob" "is" "young" "+")
Dave is not blue.
("Dave" "is" "blue" "-")
Dave is rough.
("Dave" "is" "rough" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Erin is young.
("Erin" "is" "young" "+")
If someone is big and not blue then they are nice.
((("someone" "is" "big" "+") ("someone" "is" "blue" "~")) -> ("someone" "is" "nice" "+"))
All young people are furry.
((("someone" "is" "young" "+")) -> ("someone" "is" "furry" "+"))
If someone is rough and big then they are furry.
((("someone" "is" "rough" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "furry" "+"))
Anne is cold.
True
1
proof
[(triple2)]
("Anne" "is" "cold" "+")
triple2
Dave is blue.
False
1
inv-proof
[(triple8)]
("Dave" "is" "blue" "+")
triple8
Anne is furry.
True
2
proof
[(((triple4) -> rule2))]
("Anne" "is" "furry" "+")
((triple4) -> (rule2 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is not furry.
False
2
inv-proof
[(((triple4) -> rule2))]
("Anne" "is" "furry" "-")
((triple4) -> (rule2 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Bob is not nice.
Unknown
inv-rconc
[@1: Bob is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "nice" "-")
Dave is nice.
Unknown
rconc
[@1: Dave is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "nice" "+")
Erin is not blue.
Unknown
inv-random
[@0: Erin is blue.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "blue" "-")
Dave is big.
Unknown
random
[@0: Dave is big.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "big" "+")
@0: Anne is big.[(triple1)] Anne is cold.[(triple2)] Anne is not rough.[(triple3)] Anne is young.[(triple4)] Bob is big.[(triple5)] Bob is furry.[(triple6 OR ((triple7) -> rule2))] Bob is young.[(triple7)] Dave is not blue.[(triple8)] Dave is rough.[(triple9)] Erin is furry.[(triple10 OR ((triple12) -> rule2))] Erin is rough.[(triple11)] Erin is young.[(triple12)] @1: Anne is furry.[(((triple4) -> rule2))]
Anne is big.
("Anne" "is" "big" "+")
triple1
Anne is cold.
("Anne" "is" "cold" "+")
triple2
Anne is not rough.
("Anne" "is" "rough" "-")
triple3
Anne is young.
("Anne" "is" "young" "+")
triple4
Bob is big.
("Bob" "is" "big" "+")
triple5
Bob is furry.
("Bob" "is" "furry" "+")
triple6
((triple7) -> (rule2 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
triple7
Dave is not blue.
("Dave" "is" "blue" "-")
triple8
Dave is rough.
("Dave" "is" "rough" "+")
triple9
Erin is furry.
("Erin" "is" "furry" "+")
triple10
((triple12) -> (rule2 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
triple11
Erin is young.
("Erin" "is" "young" "+")
triple12
Anne is furry.
("Anne" "is" "furry" "+")
((triple4) -> (rule2 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1