Fiona is big. Fiona is red. Gary is red. If something is nice and round then it is blue. All red, big things are blue. All red things are young.
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Gary is red.
("Gary" "is" "red" "+")
If something is nice and round then it is blue.
((("something" "is" "nice" "+") ("something" "is" "round" "+")) -> ("something" "is" "blue" "+"))
All red, big things are blue.
((("something" "is" "red" "+") ("something" "is" "big" "+")) -> ("something" "is" "blue" "+"))
All red things are young.
((("something" "is" "red" "+")) -> ("something" "is" "young" "+"))
Gary is red.
True
1
proof
[(triple3)]
("Gary" "is" "red" "+")
triple3
Fiona is not red.
False
1
inv-proof
[(triple2)]
("Fiona" "is" "red" "-")
triple2
Fiona is blue.
True
3
proof
[(((triple2 triple1) -> rule2))]
("Fiona" "is" "blue" "+")
((triple2 triple1) -> (rule2 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is not young.
False
2
inv-proof
[(((triple2) -> rule3))]
("Fiona" "is" "young" "-")
((triple2) -> (rule3 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Gary is not blue.
Unknown
inv-rconc
[@1: Gary is blue.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "blue" "-")
Gary is nice.
Unknown
random
[@0: Gary is nice.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "nice" "+")
Gary is not round.
Unknown
inv-random
[@0: Gary is round.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "round" "-")
Fiona is nice.
Unknown
random
[@0: Fiona is nice.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "nice" "+")
@0: Fiona is big.[(triple1)] Fiona is red.[(triple2)] Gary is red.[(triple3)] @1: Fiona is blue.[(((triple2 triple1) -> rule2))] Fiona is young.[(((triple2) -> rule3))] Gary is young.[(((triple3) -> rule3))]
Fiona is big.
("Fiona" "is" "big" "+")
triple1
Fiona is red.
("Fiona" "is" "red" "+")
triple2
Gary is red.
("Gary" "is" "red" "+")
triple3
Fiona is blue.
("Fiona" "is" "blue" "+")
((triple2 triple1) -> (rule2 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
((triple2) -> (rule3 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
((triple3) -> (rule3 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1