Anne is blue. Anne is nice. Anne is white. Dave is round. Fiona is cold. Fiona is nice. Fiona is not white. If someone is round and not young then they are not cold. All young people are cold. All nice people are not furry. If Fiona is furry then Fiona is blue. All nice, young people are white. If someone is nice and not furry then they are blue.
Anne is blue.
("Anne" "is" "blue" "+")
Anne is nice.
("Anne" "is" "nice" "+")
Anne is white.
("Anne" "is" "white" "+")
Dave is round.
("Dave" "is" "round" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is not white.
("Fiona" "is" "white" "-")
If someone is round and not young then they are not cold.
((("someone" "is" "round" "+") ("someone" "is" "young" "~")) -> ("someone" "is" "cold" "-"))
All young people are cold.
((("someone" "is" "young" "+")) -> ("someone" "is" "cold" "+"))
All nice people are not furry.
((("someone" "is" "nice" "+")) -> ("someone" "is" "furry" "-"))
If Fiona is furry then Fiona is blue.
((("Fiona" "is" "furry" "+")) -> ("Fiona" "is" "blue" "+"))
All nice, young people are white.
((("someone" "is" "nice" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "white" "+"))
If someone is nice and not furry then they are blue.
((("someone" "is" "nice" "+") ("someone" "is" "furry" "~")) -> ("someone" "is" "blue" "+"))
Dave is round.
True
1
proof
[(triple4)]
("Dave" "is" "round" "+")
triple4
Anne is not white.
False
1
inv-proof
[(triple3)]
("Anne" "is" "white" "-")
triple3
Fiona is not furry.
True
2
proof
[(((triple6) -> rule3))]
("Fiona" "is" "furry" "-")
((triple6) -> (rule3 % int1))
Fiona is not furry.
("Fiona" "is" "furry" "-")
int1
Fiona is furry.
False
2
inv-proof
[(((triple6) -> rule3))]
("Fiona" "is" "furry" "+")
((triple6) -> (rule3 % int1))
Fiona is not furry.
("Fiona" "is" "furry" "-")
int1
Fiona is blue.
True
4
proof
[(((triple6 ((triple6) -> rule3)) -> rule6))]
("Fiona" "is" "blue" "+")
((triple6 ((triple6) -> (rule3 % int2))) -> (rule6 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is not furry.
("Fiona" "is" "furry" "-")
int2
Fiona is not blue.
False
4
inv-proof
[(((triple6 ((triple6) -> rule3)) -> rule6))]
("Fiona" "is" "blue" "-")
((triple6 ((triple6) -> (rule3 % int2))) -> (rule6 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is not furry.
("Fiona" "is" "furry" "-")
int2
Dave is not white.
Unknown
inv-rconc
[@1: Dave is white.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Dave" "is" "white" "-")
Dave is blue.
Unknown
rconc
[@1: Dave is blue.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Dave" "is" "blue" "+")
Anne is not cold.
Unknown
inv-rconc
[@1: Anne is cold.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Anne" "is" "cold" "-")
Fiona is young.
Unknown
random
[@0: Fiona is young.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "young" "+")
Dave is not furry.
Unknown
inv-random
[@0: Dave is furry.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "furry" "-")
Dave is nice.
Unknown
random
[@0: Dave is nice.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "nice" "+")
@0: Anne is blue.[(triple1 OR ((triple2 ((triple2) -> rule3)) -> rule6))] Anne is nice.[(triple2)] Anne is white.[(triple3)] Dave is round.[(triple4)] Fiona is cold.[(triple5)] Fiona is nice.[(triple6)] Fiona is not white.[(triple7)] @1: Anne is not furry.[(((triple2) -> rule3))] Fiona is not furry.[(((triple6) -> rule3))] @2: Fiona is blue.[(((triple6 ((triple6) -> rule3)) -> rule6))]
Anne is blue.
("Anne" "is" "blue" "+")
triple1
((triple2 ((triple2) -> (rule3 % int2))) -> (rule6 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is not furry.
("Anne" "is" "furry" "-")
int2
Anne is nice.
("Anne" "is" "nice" "+")
triple2
Anne is white.
("Anne" "is" "white" "+")
triple3
Dave is round.
("Dave" "is" "round" "+")
triple4
Fiona is cold.
("Fiona" "is" "cold" "+")
triple5
Fiona is nice.
("Fiona" "is" "nice" "+")
triple6
Fiona is not white.
("Fiona" "is" "white" "-")
triple7
Anne is not furry.
("Anne" "is" "furry" "-")
((triple2) -> (rule3 % int1))
Anne is not furry.
("Anne" "is" "furry" "-")
int1
Fiona is not furry.
("Fiona" "is" "furry" "-")
((triple6) -> (rule3 % int1))
Fiona is not furry.
("Fiona" "is" "furry" "-")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
((triple6 ((triple6) -> (rule3 % int2))) -> (rule6 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is not furry.
("Fiona" "is" "furry" "-")
int2