Anne is cold. Anne is green. Anne is white. Anne is young. Erin is blue. Erin is cold. Erin is green. Erin is round. Erin is white. Erin is young. Fiona is blue. Fiona is not smart. Fiona is white. Fiona is young. Gary is cold. Gary is young. If Gary is smart then Gary is cold. If something is cold and not round then it is young. If something is white then it is young. If Anne is round then Anne is blue. Round things are green. If something is green and not cold then it is blue.
Anne is cold.
("Anne" "is" "cold" "+")
Anne is green.
("Anne" "is" "green" "+")
Anne is white.
("Anne" "is" "white" "+")
Anne is young.
("Anne" "is" "young" "+")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is round.
("Erin" "is" "round" "+")
Erin is white.
("Erin" "is" "white" "+")
Erin is young.
("Erin" "is" "young" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is not smart.
("Fiona" "is" "smart" "-")
Fiona is white.
("Fiona" "is" "white" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is young.
("Gary" "is" "young" "+")
If Gary is smart then Gary is cold.
((("Gary" "is" "smart" "+")) -> ("Gary" "is" "cold" "+"))
If something is cold and not round then it is young.
((("something" "is" "cold" "+") ("something" "is" "round" "~")) -> ("something" "is" "young" "+"))
If something is white then it is young.
((("something" "is" "white" "+")) -> ("something" "is" "young" "+"))
If Anne is round then Anne is blue.
((("Anne" "is" "round" "+")) -> ("Anne" "is" "blue" "+"))
Round things are green.
((("something" "is" "round" "+")) -> ("something" "is" "green" "+"))
If something is green and not cold then it is blue.
((("something" "is" "green" "+") ("something" "is" "cold" "~")) -> ("something" "is" "blue" "+"))
Gary is young.
True
1
proof
[(triple16)]
("Gary" "is" "young" "+")
triple16
Erin is not white.
False
1
inv-proof
[(triple9)]
("Erin" "is" "white" "-")
triple9
Anne is not blue.
Unknown
inv-rconc
[@1: Anne is blue.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Anne" "is" "blue" "-")
Gary is smart.
Unknown
random
[@0: Gary is smart.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "smart" "+")
@0: Anne is cold.[(triple1)] Anne is green.[(triple2)] Anne is white.[(triple3)] Anne is young.[(triple4 OR ((triple3) -> rule3))] Erin is blue.[(triple5)] Erin is cold.[(triple6)] Erin is green.[(triple7 OR ((triple8) -> rule5))] Erin is round.[(triple8)] Erin is white.[(triple9)] Erin is young.[(triple10 OR ((triple9) -> rule3))] Fiona is blue.[(triple11)] Fiona is not smart.[(triple12)] Fiona is white.[(triple13)] Fiona is young.[(triple14 OR ((triple13) -> rule3))] Gary is cold.[(triple15)] Gary is young.[(triple16)]
Anne is cold.
("Anne" "is" "cold" "+")
triple1
Anne is green.
("Anne" "is" "green" "+")
triple2
Anne is white.
("Anne" "is" "white" "+")
triple3
Anne is young.
("Anne" "is" "young" "+")
triple4
((triple3) -> (rule3 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
triple5
Erin is cold.
("Erin" "is" "cold" "+")
triple6
Erin is green.
("Erin" "is" "green" "+")
triple7
((triple8) -> (rule5 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
triple8
Erin is white.
("Erin" "is" "white" "+")
triple9
Erin is young.
("Erin" "is" "young" "+")
triple10
((triple9) -> (rule3 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
triple11
Fiona is not smart.
("Fiona" "is" "smart" "-")
triple12
Fiona is white.
("Fiona" "is" "white" "+")
triple13
Fiona is young.
("Fiona" "is" "young" "+")
triple14
((triple13) -> (rule3 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
triple15
Gary is young.
("Gary" "is" "young" "+")
triple16