Bob is big. Bob is furry. Bob is green. Erin is kind. Erin is rough. Erin is white. Harry is cold. Harry is furry. Harry is green. Harry is white. If Erin is kind then Erin is cold. If something is kind and white then it is cold.
Bob is big.
("Bob" "is" "big" "+")
Bob is furry.
("Bob" "is" "furry" "+")
Bob is green.
("Bob" "is" "green" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Erin is white.
("Erin" "is" "white" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is white.
("Harry" "is" "white" "+")
If Erin is kind then Erin is cold.
((("Erin" "is" "kind" "+")) -> ("Erin" "is" "cold" "+"))
If something is kind and white then it is cold.
((("something" "is" "kind" "+") ("something" "is" "white" "+")) -> ("something" "is" "cold" "+"))
Harry is green.
True
1
proof
[(triple9)]
("Harry" "is" "green" "+")
triple9
Harry is not cold.
False
1
inv-proof
[(triple7)]
("Harry" "is" "cold" "-")
triple7
Erin is cold.
True
2
proof
[(((triple4) -> rule1) OR ((triple4 triple6) -> rule2))]
("Erin" "is" "cold" "+")
((triple4) -> (rule1 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
((triple4 triple6) -> (rule2 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is not cold.
False
2
inv-proof
[(((triple4) -> rule1) OR ((triple4 triple6) -> rule2))]
("Erin" "is" "cold" "-")
((triple4) -> (rule1 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
((triple4 triple6) -> (rule2 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Bob is not cold.
Unknown
inv-rconc
[@1: Bob is cold.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "cold" "-")
Harry is rough.
Unknown
random
[@0: Harry is rough.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "rough" "+")
Erin is not furry.
Unknown
inv-random
[@0: Erin is furry.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "furry" "-")
Bob is white.
Unknown
random
[@0: Bob is white.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "white" "+")
@0: Bob is big.[(triple1)] Bob is furry.[(triple2)] Bob is green.[(triple3)] Erin is kind.[(triple4)] Erin is rough.[(triple5)] Erin is white.[(triple6)] Harry is cold.[(triple7)] Harry is furry.[(triple8)] Harry is green.[(triple9)] Harry is white.[(triple10)] @1: Erin is cold.[(((triple4) -> rule1) OR ((triple4 triple6) -> rule2))]
Bob is big.
("Bob" "is" "big" "+")
triple1
Bob is furry.
("Bob" "is" "furry" "+")
triple2
Bob is green.
("Bob" "is" "green" "+")
triple3
Erin is kind.
("Erin" "is" "kind" "+")
triple4
Erin is rough.
("Erin" "is" "rough" "+")
triple5
Erin is white.
("Erin" "is" "white" "+")
triple6
Harry is cold.
("Harry" "is" "cold" "+")
triple7
Harry is furry.
("Harry" "is" "furry" "+")
triple8
Harry is green.
("Harry" "is" "green" "+")
triple9
Harry is white.
("Harry" "is" "white" "+")
triple10
Erin is cold.
("Erin" "is" "cold" "+")
((triple4) -> (rule1 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
((triple4 triple6) -> (rule2 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1