Erin is smart. Fiona is green. Fiona is red. If something is smart then it is blue. All green, red things are smart.
Erin is smart.
("Erin" "is" "smart" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is red.
("Fiona" "is" "red" "+")
If something is smart then it is blue.
((("something" "is" "smart" "+")) -> ("something" "is" "blue" "+"))
All green, red things are smart.
((("something" "is" "green" "+") ("something" "is" "red" "+")) -> ("something" "is" "smart" "+"))
Erin is smart.
True
1
proof
[(triple1)]
("Erin" "is" "smart" "+")
triple1
Fiona is not green.
False
1
inv-proof
[(triple2)]
("Fiona" "is" "green" "-")
triple2
Erin is blue.
True
2
proof
[(((triple1) -> rule1))]
("Erin" "is" "blue" "+")
((triple1) -> (rule1 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is not blue.
False
2
inv-proof
[(((triple1) -> rule1))]
("Erin" "is" "blue" "-")
((triple1) -> (rule1 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Fiona is blue.
True
4
proof
[(((((triple2 triple3) -> rule2)) -> rule1))]
("Fiona" "is" "blue" "+")
((((triple2 triple3) -> (rule2 % int2))) -> (rule1 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is not blue.
False
4
inv-proof
[(((((triple2 triple3) -> rule2)) -> rule1))]
("Fiona" "is" "blue" "-")
((((triple2 triple3) -> (rule2 % int2))) -> (rule1 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Erin is not red.
Unknown
inv-random
[@0: Erin is red.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "red" "-")
Fiona is nice.
Unknown
random
[@0: Fiona is nice.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "nice" "+")
Erin is not green.
Unknown
inv-random
[@0: Erin is green.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "green" "-")
Fiona is round.
Unknown
random
[@0: Fiona is round.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "round" "+")
Erin is not round.
Unknown
inv-random
[@0: Erin is round.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "round" "-")
Erin is nice.
Unknown
random
[@0: Erin is nice.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "nice" "+")
@0: Erin is smart.[(triple1)] Fiona is green.[(triple2)] Fiona is red.[(triple3)] @1: Erin is blue.[(((triple1) -> rule1))] Fiona is smart.[(((triple2 triple3) -> rule2))] @2: Fiona is blue.[(((((triple2 triple3) -> rule2)) -> rule1))]
Erin is smart.
("Erin" "is" "smart" "+")
triple1
Fiona is green.
("Fiona" "is" "green" "+")
triple2
Fiona is red.
("Fiona" "is" "red" "+")
triple3
Erin is blue.
("Erin" "is" "blue" "+")
((triple1) -> (rule1 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
((triple2 triple3) -> (rule2 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
((((triple2 triple3) -> (rule2 % int2))) -> (rule1 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2