Anne is blue. Anne is cold. Anne is red. Anne is smart. Anne is white. Anne is not young. Erin is not red. Erin is smart. Erin is young. Harry is blue. Harry is cold. Harry is kind. Harry is red. Harry is white. Harry is young. If Anne is young then Anne is cold. If Anne is blue then Anne is cold. If someone is red and not kind then they are cold. All white people are cold. If someone is white and not smart then they are cold. All cold people are white. If Harry is not red then Harry is cold. If someone is white and not blue then they are young.
Anne is blue.
("Anne" "is" "blue" "+")
Anne is cold.
("Anne" "is" "cold" "+")
Anne is red.
("Anne" "is" "red" "+")
Anne is smart.
("Anne" "is" "smart" "+")
Anne is white.
("Anne" "is" "white" "+")
Anne is not young.
("Anne" "is" "young" "-")
Erin is not red.
("Erin" "is" "red" "-")
Erin is smart.
("Erin" "is" "smart" "+")
Erin is young.
("Erin" "is" "young" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is white.
("Harry" "is" "white" "+")
Harry is young.
("Harry" "is" "young" "+")
If Anne is young then Anne is cold.
((("Anne" "is" "young" "+")) -> ("Anne" "is" "cold" "+"))
If Anne is blue then Anne is cold.
((("Anne" "is" "blue" "+")) -> ("Anne" "is" "cold" "+"))
If someone is red and not kind then they are cold.
((("someone" "is" "red" "+") ("someone" "is" "kind" "~")) -> ("someone" "is" "cold" "+"))
All white people are cold.
((("someone" "is" "white" "+")) -> ("someone" "is" "cold" "+"))
If someone is white and not smart then they are cold.
((("someone" "is" "white" "+") ("someone" "is" "smart" "~")) -> ("someone" "is" "cold" "+"))
All cold people are white.
((("someone" "is" "cold" "+")) -> ("someone" "is" "white" "+"))
If Harry is not red then Harry is cold.
((("Harry" "is" "red" "~")) -> ("Harry" "is" "cold" "+"))
If someone is white and not blue then they are young.
((("someone" "is" "white" "+") ("someone" "is" "blue" "~")) -> ("someone" "is" "young" "+"))
Anne is red.
True
1
proof
[(triple3)]
("Anne" "is" "red" "+")
triple3
Harry is not red.
False
1
inv-proof
[(triple13)]
("Harry" "is" "red" "-")
triple13
Erin is not white.
Unknown
inv-rconc
[@2: Erin is white.[CWA. Example of deepest failure = (rule6 <- rule3 <- FAIL)]]
("Erin" "is" "white" "-")
Harry is smart.
Unknown
random
[@0: Harry is smart.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "smart" "+")
@0: Anne is blue.[(triple1)] Anne is cold.[(triple2 OR ((triple1) -> rule2) OR ((triple5) -> rule4))] Anne is not young.[(triple6)] Anne is red.[(triple3)] Anne is smart.[(triple4)] Anne is white.[(triple5 OR ((triple2) -> rule6) OR ((((triple1) -> rule2)) -> rule6))] Erin is not red.[(triple7)] Erin is smart.[(triple8)] Erin is young.[(triple9)] Harry is blue.[(triple10)] Harry is cold.[(triple11 OR ((triple14) -> rule4))] Harry is kind.[(triple12)] Harry is red.[(triple13)] Harry is white.[(triple14 OR ((triple11) -> rule6))] Harry is young.[(triple15)]
Anne is blue.
("Anne" "is" "blue" "+")
triple1
Anne is cold.
("Anne" "is" "cold" "+")
triple2
((triple1) -> (rule2 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
((triple5) -> (rule4 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is not young.
("Anne" "is" "young" "-")
triple6
Anne is red.
("Anne" "is" "red" "+")
triple3
Anne is smart.
("Anne" "is" "smart" "+")
triple4
Anne is white.
("Anne" "is" "white" "+")
triple5
((triple2) -> (rule6 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
((((triple1) -> (rule2 % int2))) -> (rule6 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Erin is not red.
("Erin" "is" "red" "-")
triple7
Erin is smart.
("Erin" "is" "smart" "+")
triple8
Erin is young.
("Erin" "is" "young" "+")
triple9
Harry is blue.
("Harry" "is" "blue" "+")
triple10
Harry is cold.
("Harry" "is" "cold" "+")
triple11
((triple14) -> (rule4 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
triple12
Harry is red.
("Harry" "is" "red" "+")
triple13
Harry is white.
("Harry" "is" "white" "+")
triple14
((triple11) -> (rule6 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
triple15