Erin is green. Erin is kind. Erin is red. Erin is young. Fiona is blue. Fiona is white. Fiona is young. Young things are white. If something is green and red then it is white. All green, big things are red.
Erin is green.
("Erin" "is" "green" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is red.
("Erin" "is" "red" "+")
Erin is young.
("Erin" "is" "young" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Young things are white.
((("something" "is" "young" "+")) -> ("something" "is" "white" "+"))
If something is green and red then it is white.
((("something" "is" "green" "+") ("something" "is" "red" "+")) -> ("something" "is" "white" "+"))
All green, big things are red.
((("something" "is" "green" "+") ("something" "is" "big" "+")) -> ("something" "is" "red" "+"))
Erin is kind.
True
1
proof
[(triple2)]
("Erin" "is" "kind" "+")
triple2
Erin is not green.
False
1
inv-proof
[(triple1)]
("Erin" "is" "green" "-")
triple1
Erin is white.
True
2
proof
[(((triple4) -> rule1) OR ((triple1 triple3) -> rule2))]
("Erin" "is" "white" "+")
((triple4) -> (rule1 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
((triple1 triple3) -> (rule2 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is not white.
False
2
inv-proof
[(((triple4) -> rule1) OR ((triple1 triple3) -> rule2))]
("Erin" "is" "white" "-")
((triple4) -> (rule1 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
((triple1 triple3) -> (rule2 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Fiona is not red.
Unknown
inv-rconc
[@1: Fiona is red.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Fiona" "is" "red" "-")
Erin is blue.
Unknown
random
[@0: Erin is blue.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "blue" "+")
Erin is not big.
Unknown
inv-random
[@0: Erin is big.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "big" "-")
Fiona is big.
Unknown
random
[@0: Fiona is big.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "big" "+")
@0: Erin is green.[(triple1)] Erin is kind.[(triple2)] Erin is red.[(triple3)] Erin is young.[(triple4)] Fiona is blue.[(triple5)] Fiona is white.[(triple6 OR ((triple7) -> rule1))] Fiona is young.[(triple7)] @1: Erin is white.[(((triple4) -> rule1) OR ((triple1 triple3) -> rule2))]
Erin is green.
("Erin" "is" "green" "+")
triple1
Erin is kind.
("Erin" "is" "kind" "+")
triple2
Erin is red.
("Erin" "is" "red" "+")
triple3
Erin is young.
("Erin" "is" "young" "+")
triple4
Fiona is blue.
("Fiona" "is" "blue" "+")
triple5
Fiona is white.
("Fiona" "is" "white" "+")
triple6
((triple7) -> (rule1 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
triple7
Erin is white.
("Erin" "is" "white" "+")
((triple4) -> (rule1 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
((triple1 triple3) -> (rule2 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1