Bob is cold. Erin is furry. Harry is blue. If Harry is young then Harry is blue. If something is green and white then it is furry. If something is furry then it is cold. All cold things are red. All white things are green. Young things are cold.
Bob is cold.
("Bob" "is" "cold" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Harry is blue.
("Harry" "is" "blue" "+")
If Harry is young then Harry is blue.
((("Harry" "is" "young" "+")) -> ("Harry" "is" "blue" "+"))
If something is green and white then it is furry.
((("something" "is" "green" "+") ("something" "is" "white" "+")) -> ("something" "is" "furry" "+"))
If something is furry then it is cold.
((("something" "is" "furry" "+")) -> ("something" "is" "cold" "+"))
All cold things are red.
((("something" "is" "cold" "+")) -> ("something" "is" "red" "+"))
All white things are green.
((("something" "is" "white" "+")) -> ("something" "is" "green" "+"))
Young things are cold.
((("something" "is" "young" "+")) -> ("something" "is" "cold" "+"))
Erin is furry.
True
1
proof
[(triple2)]
("Erin" "is" "furry" "+")
triple2
Erin is not furry.
False
1
inv-proof
[(triple2)]
("Erin" "is" "furry" "-")
triple2
Bob is red.
True
2
proof
[(((triple1) -> rule4))]
("Bob" "is" "red" "+")
((triple1) -> (rule4 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Erin is not cold.
False
2
inv-proof
[(((triple2) -> rule3))]
("Erin" "is" "cold" "-")
((triple2) -> (rule3 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is not green.
Unknown
inv-rconc
[@1: Erin is green.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Erin" "is" "green" "-")
Harry is red.
Unknown
rconc
[@3: Harry is red.[CWA. Example of deepest failure = (rule4 <- rule3 <- rule2 <- FAIL)]]
("Harry" "is" "red" "+")
Erin is not young.
Unknown
inv-random
[@0: Erin is young.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "young" "-")
Harry is young.
Unknown
random
[@0: Harry is young.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "young" "+")
@0: Bob is cold.[(triple1)] Erin is furry.[(triple2)] Harry is blue.[(triple3)] @1: Bob is red.[(((triple1) -> rule4))] Erin is cold.[(((triple2) -> rule3))] @2: Erin is red.[(((((triple2) -> rule3)) -> rule4))]
Bob is cold.
("Bob" "is" "cold" "+")
triple1
Erin is furry.
("Erin" "is" "furry" "+")
triple2
Harry is blue.
("Harry" "is" "blue" "+")
triple3
Bob is red.
("Bob" "is" "red" "+")
((triple1) -> (rule4 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
((triple2) -> (rule3 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
((((triple2) -> (rule3 % int2))) -> (rule4 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2