Dave is rough. Dave is not white. Erin is blue. Erin is not white. Erin is young. Fiona is cold. Fiona is green. Fiona is not rough. Fiona is round. Fiona is not white. Green, young things are cold. If something is green then it is cold. Round things are cold. Rough, blue things are not cold. If something is cold and not young then it is green. If something is round and not young then it is not white. All young, blue things are round. If Fiona is not rough then Fiona is cold.
Dave is rough.
("Dave" "is" "rough" "+")
Dave is not white.
("Dave" "is" "white" "-")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is not white.
("Erin" "is" "white" "-")
Erin is young.
("Erin" "is" "young" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is not rough.
("Fiona" "is" "rough" "-")
Fiona is round.
("Fiona" "is" "round" "+")
Fiona is not white.
("Fiona" "is" "white" "-")
Green, young things are cold.
((("something" "is" "green" "+") ("something" "is" "young" "+")) -> ("something" "is" "cold" "+"))
If something is green then it is cold.
((("something" "is" "green" "+")) -> ("something" "is" "cold" "+"))
Round things are cold.
((("something" "is" "round" "+")) -> ("something" "is" "cold" "+"))
Rough, blue things are not cold.
((("something" "is" "rough" "+") ("something" "is" "blue" "+")) -> ("something" "is" "cold" "-"))
If something is cold and not young then it is green.
((("something" "is" "cold" "+") ("something" "is" "young" "~")) -> ("something" "is" "green" "+"))
If something is round and not young then it is not white.
((("something" "is" "round" "+") ("something" "is" "young" "~")) -> ("something" "is" "white" "-"))
All young, blue things are round.
((("something" "is" "young" "+") ("something" "is" "blue" "+")) -> ("something" "is" "round" "+"))
If Fiona is not rough then Fiona is cold.
((("Fiona" "is" "rough" "~")) -> ("Fiona" "is" "cold" "+"))
Erin is blue.
True
1
proof
[(triple3)]
("Erin" "is" "blue" "+")
triple3
Erin is not blue.
False
1
inv-proof
[(triple3)]
("Erin" "is" "blue" "-")
triple3
Erin is round.
True
3
proof
[(((triple5 triple3) -> rule7))]
("Erin" "is" "round" "+")
((triple5 triple3) -> (rule7 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is not round.
False
3
inv-proof
[(((triple5 triple3) -> rule7))]
("Erin" "is" "round" "-")
((triple5 triple3) -> (rule7 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is not green.
Unknown
inv-rconc
[@1: Erin is green.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Erin" "is" "green" "-")
Dave is cold.
Unknown
rconc
[@2: Dave is cold.[CWA. Example of deepest failure = (rule2 <- rule5 <- FAIL)]]
("Dave" "is" "cold" "+")
Dave is not blue.
Unknown
inv-random
[@0: Dave is blue.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "blue" "-")
Fiona is blue.
Unknown
random
[@0: Fiona is blue.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "blue" "+")
@0: Dave is not white.[(triple2)] Dave is rough.[(triple1)] Erin is blue.[(triple3)] Erin is not white.[(triple4)] Erin is young.[(triple5)] Fiona is cold.[(triple6 OR ((triple7) -> rule2) OR ((triple8) -> rule8) OR ((triple9) -> rule3))] Fiona is green.[(triple7)] Fiona is not rough.[(triple8)] Fiona is not white.[(triple10)] Fiona is round.[(triple9)] @1: Erin is round.[(((triple5 triple3) -> rule7))] @2: Erin is cold.[(((((triple5 triple3) -> rule7)) -> rule3))]
Dave is not white.
("Dave" "is" "white" "-")
triple2
Dave is rough.
("Dave" "is" "rough" "+")
triple1
Erin is blue.
("Erin" "is" "blue" "+")
triple3
Erin is not white.
("Erin" "is" "white" "-")
triple4
Erin is young.
("Erin" "is" "young" "+")
triple5
Fiona is cold.
("Fiona" "is" "cold" "+")
triple6
((triple7) -> (rule2 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
((triple8) -> (rule8 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
((triple9) -> (rule3 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
triple7
Fiona is not rough.
("Fiona" "is" "rough" "-")
triple8
Fiona is not white.
("Fiona" "is" "white" "-")
triple10
Fiona is round.
("Fiona" "is" "round" "+")
triple9
Erin is round.
("Erin" "is" "round" "+")
((triple5 triple3) -> (rule7 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
((((triple5 triple3) -> (rule7 % int2))) -> (rule3 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2