Anne is green. Anne is red. Anne is rough. Anne is round. Fiona is cold. Fiona is green. Fiona is red. If something is nice and cold then it is blue. If something is blue then it is green. All red things are green. Blue, cold things are nice. All red things are nice. Cold, nice things are red.
Anne is green.
("Anne" "is" "green" "+")
Anne is red.
("Anne" "is" "red" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Anne is round.
("Anne" "is" "round" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is red.
("Fiona" "is" "red" "+")
If something is nice and cold then it is blue.
((("something" "is" "nice" "+") ("something" "is" "cold" "+")) -> ("something" "is" "blue" "+"))
If something is blue then it is green.
((("something" "is" "blue" "+")) -> ("something" "is" "green" "+"))
All red things are green.
((("something" "is" "red" "+")) -> ("something" "is" "green" "+"))
Blue, cold things are nice.
((("something" "is" "blue" "+") ("something" "is" "cold" "+")) -> ("something" "is" "nice" "+"))
All red things are nice.
((("something" "is" "red" "+")) -> ("something" "is" "nice" "+"))
Cold, nice things are red.
((("something" "is" "cold" "+") ("something" "is" "nice" "+")) -> ("something" "is" "red" "+"))
Anne is round.
True
1
proof
[(triple4)]
("Anne" "is" "round" "+")
triple4
Fiona is not cold.
False
1
inv-proof
[(triple5)]
("Fiona" "is" "cold" "-")
triple5
Anne is not blue.
Unknown
inv-rconc
[@1: Anne is blue.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Anne" "is" "blue" "-")
Anne is cold.
Unknown
random
[@0: Anne is cold.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "cold" "+")
@0: Anne is green.[(triple1 OR ((triple2) -> rule3))] Anne is red.[(triple2)] Anne is rough.[(triple3)] Anne is round.[(triple4)] Fiona is cold.[(triple5)] Fiona is green.[(triple6 OR ((triple7) -> rule3) OR ((((((triple7) -> rule5) triple5) -> rule1)) -> rule2))] Fiona is red.[(triple7)] @1: Anne is nice.[(((triple2) -> rule5))] Fiona is nice.[(((triple7) -> rule5))] @2: Fiona is blue.[(((((triple7) -> rule5) triple5) -> rule1))]
Anne is green.
("Anne" "is" "green" "+")
triple1
((triple2) -> (rule3 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
triple2
Anne is rough.
("Anne" "is" "rough" "+")
triple3
Anne is round.
("Anne" "is" "round" "+")
triple4
Fiona is cold.
("Fiona" "is" "cold" "+")
triple5
Fiona is green.
("Fiona" "is" "green" "+")
triple6
((triple7) -> (rule3 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
((((((triple7) -> (rule5 % int3)) triple5) -> (rule1 % int2))) -> (rule2 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
triple7
Anne is nice.
("Anne" "is" "nice" "+")
((triple2) -> (rule5 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
((triple7) -> (rule5 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
((((triple7) -> (rule5 % int2)) triple5) -> (rule1 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2