Anne is not blue. Erin is white. Fiona is young. Gary is furry. If Fiona is young then Fiona is not blue. Big people are not red. If someone is young and not blue then they are furry.
Anne is not blue.
("Anne" "is" "blue" "-")
Erin is white.
("Erin" "is" "white" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Gary is furry.
("Gary" "is" "furry" "+")
If Fiona is young then Fiona is not blue.
((("Fiona" "is" "young" "+")) -> ("Fiona" "is" "blue" "-"))
Big people are not red.
((("someone" "is" "big" "+")) -> ("someone" "is" "red" "-"))
If someone is young and not blue then they are furry.
((("someone" "is" "young" "+") ("someone" "is" "blue" "~")) -> ("someone" "is" "furry" "+"))
Anne is not blue.
True
1
proof
[(triple1)]
("Anne" "is" "blue" "-")
triple1
Fiona is not young.
False
1
inv-proof
[(triple3)]
("Fiona" "is" "young" "-")
triple3
Fiona is not blue.
True
2
proof
[(((triple3) -> rule1))]
("Fiona" "is" "blue" "-")
((triple3) -> (rule1 % int1))
Fiona is not blue.
("Fiona" "is" "blue" "-")
int1
Fiona is blue.
False
2
inv-proof
[(((triple3) -> rule1))]
("Fiona" "is" "blue" "+")
((triple3) -> (rule1 % int1))
Fiona is not blue.
("Fiona" "is" "blue" "-")
int1
Fiona is furry.
True
4
proof
[(((triple3 ((triple3) -> rule1)) -> rule3))]
("Fiona" "is" "furry" "+")
((triple3 ((triple3) -> (rule1 % int2))) -> (rule3 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is not blue.
("Fiona" "is" "blue" "-")
int2
Fiona is not furry.
False
4
inv-proof
[(((triple3 ((triple3) -> rule1)) -> rule3))]
("Fiona" "is" "furry" "-")
((triple3 ((triple3) -> (rule1 % int2))) -> (rule3 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is not blue.
("Fiona" "is" "blue" "-")
int2
Anne is not furry.
Unknown
inv-rconc
[@1: Anne is furry.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Anne" "is" "furry" "-")
Erin is furry.
Unknown
rconc
[@1: Erin is furry.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Erin" "is" "furry" "+")
Erin is not blue.
Unknown
inv-random
[@0: Erin is blue.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "blue" "-")
Gary is big.
Unknown
random
[@0: Gary is big.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "big" "+")
Anne is not white.
Unknown
inv-random
[@0: Anne is white.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "white" "-")
Erin is smart.
Unknown
random
[@0: Erin is smart.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "smart" "+")
@0: Anne is not blue.[(triple1)] Erin is white.[(triple2)] Fiona is young.[(triple3)] Gary is furry.[(triple4)] @1: Fiona is not blue.[(((triple3) -> rule1))] @2: Fiona is furry.[(((triple3 ((triple3) -> rule1)) -> rule3))]
Anne is not blue.
("Anne" "is" "blue" "-")
triple1
Erin is white.
("Erin" "is" "white" "+")
triple2
Fiona is young.
("Fiona" "is" "young" "+")
triple3
Gary is furry.
("Gary" "is" "furry" "+")
triple4
Fiona is not blue.
("Fiona" "is" "blue" "-")
((triple3) -> (rule1 % int1))
Fiona is not blue.
("Fiona" "is" "blue" "-")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
((triple3 ((triple3) -> (rule1 % int2))) -> (rule3 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is not blue.
("Fiona" "is" "blue" "-")
int2