Anne is kind. Dave is green. Erin is furry. Erin is red. Erin is rough. Fiona is blue. Fiona is furry. All kind, furry things are blue. All furry things are kind. If something is kind and green then it is blue. All rough things are blue. If something is rough then it is cold. Red, kind things are cold.
Anne is kind.
("Anne" "is" "kind" "+")
Dave is green.
("Dave" "is" "green" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is red.
("Erin" "is" "red" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
All kind, furry things are blue.
((("something" "is" "kind" "+") ("something" "is" "furry" "+")) -> ("something" "is" "blue" "+"))
All furry things are kind.
((("something" "is" "furry" "+")) -> ("something" "is" "kind" "+"))
If something is kind and green then it is blue.
((("something" "is" "kind" "+") ("something" "is" "green" "+")) -> ("something" "is" "blue" "+"))
All rough things are blue.
((("something" "is" "rough" "+")) -> ("something" "is" "blue" "+"))
If something is rough then it is cold.
((("something" "is" "rough" "+")) -> ("something" "is" "cold" "+"))
Red, kind things are cold.
((("something" "is" "red" "+") ("something" "is" "kind" "+")) -> ("something" "is" "cold" "+"))
Erin is furry.
True
1
proof
[(triple3)]
("Erin" "is" "furry" "+")
triple3
Erin is not red.
False
1
inv-proof
[(triple4)]
("Erin" "is" "red" "-")
triple4
Fiona is kind.
True
2
proof
[(((triple7) -> rule2))]
("Fiona" "is" "kind" "+")
((triple7) -> (rule2 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Erin is not cold.
False
2
inv-proof
[(((triple5) -> rule5) OR ((triple4 ((triple3) -> rule2)) -> rule6))]
("Erin" "is" "cold" "-")
((triple5) -> (rule5 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
((triple4 ((triple3) -> (rule2 % int2))) -> (rule6 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Fiona is not cold.
Unknown
inv-rconc
[@1: Fiona is cold.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Fiona" "is" "cold" "-")
Anne is blue.
Unknown
rconc
[@1: Anne is blue.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Anne" "is" "blue" "+")
Dave is not rough.
Unknown
inv-random
[@0: Dave is rough.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "rough" "-")
Dave is furry.
Unknown
random
[@0: Dave is furry.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "furry" "+")
@0: Anne is kind.[(triple1)] Dave is green.[(triple2)] Erin is furry.[(triple3)] Erin is red.[(triple4)] Erin is rough.[(triple5)] Fiona is blue.[(triple6 OR ((((triple7) -> rule2) triple7) -> rule1))] Fiona is furry.[(triple7)] @1: Erin is blue.[(((triple5) -> rule4) OR ((((triple3) -> rule2) triple3) -> rule1))] Erin is cold.[(((triple5) -> rule5) OR ((triple4 ((triple3) -> rule2)) -> rule6))] Erin is kind.[(((triple3) -> rule2))] Fiona is kind.[(((triple7) -> rule2))]
Anne is kind.
("Anne" "is" "kind" "+")
triple1
Dave is green.
("Dave" "is" "green" "+")
triple2
Erin is furry.
("Erin" "is" "furry" "+")
triple3
Erin is red.
("Erin" "is" "red" "+")
triple4
Erin is rough.
("Erin" "is" "rough" "+")
triple5
Fiona is blue.
("Fiona" "is" "blue" "+")
triple6
((((triple7) -> (rule2 % int2)) triple7) -> (rule1 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
triple7
Erin is blue.
("Erin" "is" "blue" "+")
((triple5) -> (rule4 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
((((triple3) -> (rule2 % int2)) triple3) -> (rule1 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
((triple5) -> (rule5 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
((triple4 ((triple3) -> (rule2 % int2))) -> (rule6 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
((triple3) -> (rule2 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
((triple7) -> (rule2 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1