Erin is rough. Erin is not round. Fiona is young. If something is blue then it is not rough. If something is blue then it is cold. If something is round and not young then it is not cold. All kind things are blue. Young things are blue. If something is kind and not blue then it is furry.
Erin is rough.
("Erin" "is" "rough" "+")
Erin is not round.
("Erin" "is" "round" "-")
Fiona is young.
("Fiona" "is" "young" "+")
If something is blue then it is not rough.
((("something" "is" "blue" "+")) -> ("something" "is" "rough" "-"))
If something is blue then it is cold.
((("something" "is" "blue" "+")) -> ("something" "is" "cold" "+"))
If something is round and not young then it is not cold.
((("something" "is" "round" "+") ("something" "is" "young" "~")) -> ("something" "is" "cold" "-"))
All kind things are blue.
((("something" "is" "kind" "+")) -> ("something" "is" "blue" "+"))
Young things are blue.
((("something" "is" "young" "+")) -> ("something" "is" "blue" "+"))
If something is kind and not blue then it is furry.
((("something" "is" "kind" "+") ("something" "is" "blue" "~")) -> ("something" "is" "furry" "+"))
Fiona is young.
True
1
proof
[(triple3)]
("Fiona" "is" "young" "+")
triple3
Erin is round.
False
1
inv-proof
[(triple2)]
("Erin" "is" "round" "+")
triple2
Fiona is blue.
True
2
proof
[(((triple3) -> rule5))]
("Fiona" "is" "blue" "+")
((triple3) -> (rule5 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is not blue.
False
2
inv-proof
[(((triple3) -> rule5))]
("Fiona" "is" "blue" "-")
((triple3) -> (rule5 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is cold.
True
3
proof
[(((((triple3) -> rule5)) -> rule2))]
("Fiona" "is" "cold" "+")
((((triple3) -> (rule5 % int2))) -> (rule2 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is rough.
False
3
inv-proof
[(((((triple3) -> rule5)) -> rule1))]
("Fiona" "is" "rough" "+")
((((triple3) -> (rule5 % int2))) -> (rule1 % int1))
Fiona is not rough.
("Fiona" "is" "rough" "-")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is not furry.
Unknown
inv-rconc
[@1: Fiona is furry.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Fiona" "is" "furry" "-")
Erin is blue.
Unknown
rconc
[@1: Erin is blue.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Erin" "is" "blue" "+")
Erin is not cold.
Unknown
inv-rconc
[@2: Erin is cold.[CWA. Example of deepest failure = (rule2 <- rule4 <- FAIL)]]
("Erin" "is" "cold" "-")
Fiona is kind.
Unknown
random
[@0: Fiona is kind.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "kind" "+")
Erin is not young.
Unknown
inv-random
[@0: Erin is young.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "young" "-")
Fiona is round.
Unknown
random
[@0: Fiona is round.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "round" "+")
@0: Erin is not round.[(triple2)] Erin is rough.[(triple1)] Fiona is young.[(triple3)] @1: Fiona is blue.[(((triple3) -> rule5))] @2: Fiona is cold.[(((((triple3) -> rule5)) -> rule2))] Fiona is not rough.[(((((triple3) -> rule5)) -> rule1))]
Erin is not round.
("Erin" "is" "round" "-")
triple2
Erin is rough.
("Erin" "is" "rough" "+")
triple1
Fiona is young.
("Fiona" "is" "young" "+")
triple3
Fiona is blue.
("Fiona" "is" "blue" "+")
((triple3) -> (rule5 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
((((triple3) -> (rule5 % int2))) -> (rule2 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is not rough.
("Fiona" "is" "rough" "-")
((((triple3) -> (rule5 % int2))) -> (rule1 % int1))
Fiona is not rough.
("Fiona" "is" "rough" "-")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2