Fiona is blue. Fiona is red. Fiona is smart. If Fiona is white then Fiona is blue. If someone is blue and smart then they are young. All cold people are young.
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
If Fiona is white then Fiona is blue.
((("Fiona" "is" "white" "+")) -> ("Fiona" "is" "blue" "+"))
If someone is blue and smart then they are young.
((("someone" "is" "blue" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "young" "+"))
All cold people are young.
((("someone" "is" "cold" "+")) -> ("someone" "is" "young" "+"))
Fiona is blue.
True
1
proof
[(triple1)]
("Fiona" "is" "blue" "+")
triple1
Fiona is not smart.
False
1
inv-proof
[(triple3)]
("Fiona" "is" "smart" "-")
triple3
Fiona is young.
True
3
proof
[(((triple1 triple3) -> rule2))]
("Fiona" "is" "young" "+")
((triple1 triple3) -> (rule2 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is not young.
False
3
inv-proof
[(((triple1 triple3) -> rule2))]
("Fiona" "is" "young" "-")
((triple1 triple3) -> (rule2 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is not cold.
Unknown
inv-random
[@0: Fiona is cold.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "cold" "-")
Fiona is round.
Unknown
random
[@0: Fiona is round.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "round" "+")
@0: Fiona is blue.[(triple1)] Fiona is red.[(triple2)] Fiona is smart.[(triple3)] @1: Fiona is young.[(((triple1 triple3) -> rule2))]
Fiona is blue.
("Fiona" "is" "blue" "+")
triple1
Fiona is red.
("Fiona" "is" "red" "+")
triple2
Fiona is smart.
("Fiona" "is" "smart" "+")
triple3
Fiona is young.
("Fiona" "is" "young" "+")
((triple1 triple3) -> (rule2 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1