Anne is blue. Anne is not red. Fiona is blue. Fiona is not nice. Fiona is not quiet. Fiona is not red. Fiona is smart. Rough, quiet people are smart. If someone is smart and rough then they are cold. Quiet people are blue. If someone is nice and red then they are blue. Quiet, rough people are blue. If Fiona is smart then Fiona is cold. If Fiona is cold then Fiona is rough. If someone is smart and red then they are quiet.
Anne is blue.
("Anne" "is" "blue" "+")
Anne is not red.
("Anne" "is" "red" "-")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is not nice.
("Fiona" "is" "nice" "-")
Fiona is not quiet.
("Fiona" "is" "quiet" "-")
Fiona is not red.
("Fiona" "is" "red" "-")
Fiona is smart.
("Fiona" "is" "smart" "+")
Rough, quiet people are smart.
((("someone" "is" "rough" "+") ("someone" "is" "quiet" "+")) -> ("someone" "is" "smart" "+"))
If someone is smart and rough then they are cold.
((("someone" "is" "smart" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "cold" "+"))
Quiet people are blue.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "blue" "+"))
If someone is nice and red then they are blue.
((("someone" "is" "nice" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "blue" "+"))
Quiet, rough people are blue.
((("someone" "is" "quiet" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "blue" "+"))
If Fiona is smart then Fiona is cold.
((("Fiona" "is" "smart" "+")) -> ("Fiona" "is" "cold" "+"))
If Fiona is cold then Fiona is rough.
((("Fiona" "is" "cold" "+")) -> ("Fiona" "is" "rough" "+"))
If someone is smart and red then they are quiet.
((("someone" "is" "smart" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "quiet" "+"))
Fiona is not quiet.
True
1
proof
[(triple5)]
("Fiona" "is" "quiet" "-")
triple5
Anne is not blue.
False
1
inv-proof
[(triple1)]
("Anne" "is" "blue" "-")
triple1
Fiona is cold.
True
2
proof
[(((triple7) -> rule6))]
("Fiona" "is" "cold" "+")
((triple7) -> (rule6 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is not cold.
False
2
inv-proof
[(((triple7) -> rule6))]
("Fiona" "is" "cold" "-")
((triple7) -> (rule6 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is rough.
True
3
proof
[(((((triple7) -> rule6)) -> rule7))]
("Fiona" "is" "rough" "+")
((((triple7) -> (rule6 % int2))) -> (rule7 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is not rough.
False
3
inv-proof
[(((((triple7) -> rule6)) -> rule7))]
("Fiona" "is" "rough" "-")
((((triple7) -> (rule6 % int2))) -> (rule7 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Anne is not cold.
Unknown
inv-rconc
[@1: Anne is cold.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Anne" "is" "cold" "-")
Anne is smart.
Unknown
rconc
[@1: Anne is smart.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Anne" "is" "smart" "+")
Anne is not quiet.
Unknown
inv-rconc
[@1: Anne is quiet.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("Anne" "is" "quiet" "-")
Anne is nice.
Unknown
random
[@0: Anne is nice.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "nice" "+")
@0: Anne is blue.[(triple1)] Anne is not red.[(triple2)] Fiona is blue.[(triple3)] Fiona is not nice.[(triple4)] Fiona is not quiet.[(triple5)] Fiona is not red.[(triple6)] Fiona is smart.[(triple7)] @1: Fiona is cold.[(((triple7) -> rule6))] @2: Fiona is rough.[(((((triple7) -> rule6)) -> rule7))]
Anne is blue.
("Anne" "is" "blue" "+")
triple1
Anne is not red.
("Anne" "is" "red" "-")
triple2
Fiona is blue.
("Fiona" "is" "blue" "+")
triple3
Fiona is not nice.
("Fiona" "is" "nice" "-")
triple4
Fiona is not quiet.
("Fiona" "is" "quiet" "-")
triple5
Fiona is not red.
("Fiona" "is" "red" "-")
triple6
Fiona is smart.
("Fiona" "is" "smart" "+")
triple7
Fiona is cold.
("Fiona" "is" "cold" "+")
((triple7) -> (rule6 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
((((triple7) -> (rule6 % int2))) -> (rule7 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2