Erin is blue. Erin is cold. Erin is kind. Erin is quiet. Erin is round. Fiona is cold. Fiona is kind. Fiona is quiet. Fiona is rough. Fiona is round. If something is green and not rough then it is blue. Rough things are round. If something is green then it is quiet. If something is rough and not green then it is not quiet. If something is quiet then it is cold. If Erin is not quiet and Erin is not blue then Erin is kind.
Erin is blue.
("Erin" "is" "blue" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is round.
("Erin" "is" "round" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is round.
("Fiona" "is" "round" "+")
If something is green and not rough then it is blue.
((("something" "is" "green" "+") ("something" "is" "rough" "~")) -> ("something" "is" "blue" "+"))
Rough things are round.
((("something" "is" "rough" "+")) -> ("something" "is" "round" "+"))
If something is green then it is quiet.
((("something" "is" "green" "+")) -> ("something" "is" "quiet" "+"))
If something is rough and not green then it is not quiet.
((("something" "is" "rough" "+") ("something" "is" "green" "~")) -> ("something" "is" "quiet" "-"))
If something is quiet then it is cold.
((("something" "is" "quiet" "+")) -> ("something" "is" "cold" "+"))
If Erin is not quiet and Erin is not blue then Erin is kind.
((("Erin" "is" "quiet" "~") ("Erin" "is" "blue" "~")) -> ("Erin" "is" "kind" "+"))
Fiona is cold.
True
1
proof
[(triple6 OR ((triple8) -> rule5))]
("Fiona" "is" "cold" "+")
triple6
((triple8) -> (rule5 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Erin is not kind.
False
1
inv-proof
[(triple3)]
("Erin" "is" "kind" "-")
triple3
Fiona is not blue.
Unknown
inv-rconc
[@1: Fiona is blue.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fiona" "is" "blue" "-")
Erin is green.
Unknown
random
[@0: Erin is green.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "green" "+")
@0: Erin is blue.[(triple1)] Erin is cold.[(triple2 OR ((triple4) -> rule5))] Erin is kind.[(triple3)] Erin is quiet.[(triple4)] Erin is round.[(triple5)] Fiona is cold.[(triple6 OR ((triple8) -> rule5))] Fiona is kind.[(triple7)] Fiona is quiet.[(triple8)] Fiona is rough.[(triple9)] Fiona is round.[(triple10 OR ((triple9) -> rule2))]
Erin is blue.
("Erin" "is" "blue" "+")
triple1
Erin is cold.
("Erin" "is" "cold" "+")
triple2
((triple4) -> (rule5 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
triple3
Erin is quiet.
("Erin" "is" "quiet" "+")
triple4
Erin is round.
("Erin" "is" "round" "+")
triple5
Fiona is cold.
("Fiona" "is" "cold" "+")
triple6
((triple8) -> (rule5 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
triple7
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple8
Fiona is rough.
("Fiona" "is" "rough" "+")
triple9
Fiona is round.
("Fiona" "is" "round" "+")
triple10
((triple9) -> (rule2 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1