Anne is blue. Anne is cold. Anne is furry. Anne is round. Bob is blue. Bob is cold. Bob is furry. Bob is green. Bob is kind. Erin is blue. Erin is cold. Erin is furry. Erin is green. Erin is kind. Erin is rough. Erin is round. All green, furry things are round. If Erin is furry then Erin is blue.
Anne is blue.
("Anne" "is" "blue" "+")
Anne is cold.
("Anne" "is" "cold" "+")
Anne is furry.
("Anne" "is" "furry" "+")
Anne is round.
("Anne" "is" "round" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is furry.
("Bob" "is" "furry" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Erin is round.
("Erin" "is" "round" "+")
All green, furry things are round.
((("something" "is" "green" "+") ("something" "is" "furry" "+")) -> ("something" "is" "round" "+"))
If Erin is furry then Erin is blue.
((("Erin" "is" "furry" "+")) -> ("Erin" "is" "blue" "+"))
Erin is rough.
True
1
proof
[(triple15)]
("Erin" "is" "rough" "+")
triple15
Anne is not furry.
False
1
inv-proof
[(triple3)]
("Anne" "is" "furry" "-")
triple3
Bob is round.
True
3
proof
[(((triple8 triple7) -> rule1))]
("Bob" "is" "round" "+")
((triple8 triple7) -> (rule1 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is not round.
False
3
inv-proof
[(((triple8 triple7) -> rule1))]
("Bob" "is" "round" "-")
((triple8 triple7) -> (rule1 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is not rough.
Unknown
inv-random
[@0: Bob is rough.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "rough" "-")
Anne is green.
Unknown
random
[@0: Anne is green.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "green" "+")
Anne is not rough.
Unknown
inv-random
[@0: Anne is rough.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "rough" "-")
Anne is kind.
Unknown
random
[@0: Anne is kind.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "kind" "+")
@0: Anne is blue.[(triple1)] Anne is cold.[(triple2)] Anne is furry.[(triple3)] Anne is round.[(triple4)] Bob is blue.[(triple5)] Bob is cold.[(triple6)] Bob is furry.[(triple7)] Bob is green.[(triple8)] Bob is kind.[(triple9)] Erin is blue.[(triple10 OR ((triple12) -> rule2))] Erin is cold.[(triple11)] Erin is furry.[(triple12)] Erin is green.[(triple13)] Erin is kind.[(triple14)] Erin is rough.[(triple15)] Erin is round.[(triple16 OR ((triple13 triple12) -> rule1))] @1: Bob is round.[(((triple8 triple7) -> rule1))]
Anne is blue.
("Anne" "is" "blue" "+")
triple1
Anne is cold.
("Anne" "is" "cold" "+")
triple2
Anne is furry.
("Anne" "is" "furry" "+")
triple3
Anne is round.
("Anne" "is" "round" "+")
triple4
Bob is blue.
("Bob" "is" "blue" "+")
triple5
Bob is cold.
("Bob" "is" "cold" "+")
triple6
Bob is furry.
("Bob" "is" "furry" "+")
triple7
Bob is green.
("Bob" "is" "green" "+")
triple8
Bob is kind.
("Bob" "is" "kind" "+")
triple9
Erin is blue.
("Erin" "is" "blue" "+")
triple10
((triple12) -> (rule2 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
triple11
Erin is furry.
("Erin" "is" "furry" "+")
triple12
Erin is green.
("Erin" "is" "green" "+")
triple13
Erin is kind.
("Erin" "is" "kind" "+")
triple14
Erin is rough.
("Erin" "is" "rough" "+")
triple15
Erin is round.
("Erin" "is" "round" "+")
triple16
((triple13 triple12) -> (rule1 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
((triple8 triple7) -> (rule1 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1