Anne is green. Anne is rough. Erin is furry. Erin is green. Erin is rough. Fiona is furry. Harry is green. Cold people are green. If Anne is green then Anne is kind. If someone is rough and green then they are blue. If someone is blue then they are rough. If Anne is red then Anne is blue. Red people are green. If someone is cold and rough then they are green. If someone is furry then they are cold.
Anne is green.
("Anne" "is" "green" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Harry is green.
("Harry" "is" "green" "+")
Cold people are green.
((("someone" "is" "cold" "+")) -> ("someone" "is" "green" "+"))
If Anne is green then Anne is kind.
((("Anne" "is" "green" "+")) -> ("Anne" "is" "kind" "+"))
If someone is rough and green then they are blue.
((("someone" "is" "rough" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "blue" "+"))
If someone is blue then they are rough.
((("someone" "is" "blue" "+")) -> ("someone" "is" "rough" "+"))
If Anne is red then Anne is blue.
((("Anne" "is" "red" "+")) -> ("Anne" "is" "blue" "+"))
Red people are green.
((("someone" "is" "red" "+")) -> ("someone" "is" "green" "+"))
If someone is cold and rough then they are green.
((("someone" "is" "cold" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "green" "+"))
If someone is furry then they are cold.
((("someone" "is" "furry" "+")) -> ("someone" "is" "cold" "+"))
Harry is green.
True
1
proof
[(triple7)]
("Harry" "is" "green" "+")
triple7
Erin is not rough.
False
1
inv-proof
[(triple5)]
("Erin" "is" "rough" "-")
triple5
Harry is not rough.
Unknown
inv-rconc
[@2: Harry is rough.[CWA. Example of deepest failure = (rule4 <- rule3 <- FAIL)]]
("Harry" "is" "rough" "-")
Harry is kind.
Unknown
random
[@0: Harry is kind.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "kind" "+")
@0: Anne is green.[(triple1)] Anne is rough.[(triple2)] Erin is furry.[(triple3)] Erin is green.[(triple4 OR ((((triple3) -> rule8)) -> rule1) OR ((((triple3) -> rule8) triple5) -> rule7))] Erin is rough.[(triple5)] Fiona is furry.[(triple6)] Harry is green.[(triple7)] @1: Anne is blue.[(((triple2 triple1) -> rule3))] Anne is kind.[(((triple1) -> rule2))] Erin is blue.[(((triple5 triple4) -> rule3) OR ((triple5 ((((triple3) -> rule8)) -> rule1)) -> rule3) OR ((triple5 ((((triple3) -> rule8) triple5) -> rule7)) -> rule3))] Erin is cold.[(((triple3) -> rule8))] Fiona is cold.[(((triple6) -> rule8))] @2: Fiona is green.[(((((triple6) -> rule8)) -> rule1))]
Anne is green.
("Anne" "is" "green" "+")
triple1
Anne is rough.
("Anne" "is" "rough" "+")
triple2
Erin is furry.
("Erin" "is" "furry" "+")
triple3
Erin is green.
("Erin" "is" "green" "+")
triple4
((((triple3) -> (rule8 % int2))) -> (rule1 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
((((triple3) -> (rule8 % int2)) triple5) -> (rule7 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
triple5
Fiona is furry.
("Fiona" "is" "furry" "+")
triple6
Harry is green.
("Harry" "is" "green" "+")
triple7
Anne is blue.
("Anne" "is" "blue" "+")
((triple2 triple1) -> (rule3 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
((triple1) -> (rule2 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
((triple5 triple4) -> (rule3 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
((triple5 ((((triple3) -> (rule8 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
((triple5 ((((triple3) -> (rule8 % int3)) triple5) -> (rule7 % int2))) -> (rule3 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is cold.
("Erin" "is" "cold" "+")
((triple3) -> (rule8 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
((triple6) -> (rule8 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
((((triple6) -> (rule8 % int2))) -> (rule1 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2