Dave is green. Dave is white. Erin is cold. Erin is green. Erin is not nice. Erin is red. Erin is white. Fiona is green. Fiona is red. Gary is big. Gary is cold. Gary is furry. Gary is not nice. Gary is not red. Gary is not white. If something is green then it is white. All green things are white. Red things are green.
Dave is green.
("Dave" "is" "green" "+")
Dave is white.
("Dave" "is" "white" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is not nice.
("Erin" "is" "nice" "-")
Erin is red.
("Erin" "is" "red" "+")
Erin is white.
("Erin" "is" "white" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is not nice.
("Gary" "is" "nice" "-")
Gary is not red.
("Gary" "is" "red" "-")
Gary is not white.
("Gary" "is" "white" "-")
If something is green then it is white.
((("something" "is" "green" "+")) -> ("something" "is" "white" "+"))
All green things are white.
((("something" "is" "green" "+")) -> ("something" "is" "white" "+"))
Red things are green.
((("something" "is" "red" "+")) -> ("something" "is" "green" "+"))
Erin is cold.
True
1
proof
[(triple3)]
("Erin" "is" "cold" "+")
triple3
Erin is not red.
False
1
inv-proof
[(triple6)]
("Erin" "is" "red" "-")
triple6
Gary is not green.
Unknown
inv-rconc
[@1: Gary is green.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Gary" "is" "green" "-")
Fiona is cold.
Unknown
random
[@0: Fiona is cold.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "cold" "+")
@0: Dave is green.[(triple1)] Dave is white.[(triple2 OR ((triple1) -> rule1) OR ((triple1) -> rule2))] Erin is cold.[(triple3)] Erin is green.[(triple4 OR ((triple6) -> rule3))] Erin is not nice.[(triple5)] Erin is red.[(triple6)] Erin is white.[(triple7 OR ((triple4) -> rule1) OR ((triple4) -> rule2) OR ((((triple6) -> rule3)) -> rule1) OR ((((triple6) -> rule3)) -> rule2))] Fiona is green.[(triple8 OR ((triple9) -> rule3))] Fiona is red.[(triple9)] Gary is big.[(triple10)] Gary is cold.[(triple11)] Gary is furry.[(triple12)] Gary is not nice.[(triple13)] Gary is not red.[(triple14)] Gary is not white.[(triple15)] @1: Fiona is white.[(((triple8) -> rule1) OR ((triple8) -> rule2) OR ((((triple9) -> rule3)) -> rule1) OR ((((triple9) -> rule3)) -> rule2))]
Dave is green.
("Dave" "is" "green" "+")
triple1
Dave is white.
("Dave" "is" "white" "+")
triple2
((triple1) -> (rule1 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
((triple1) -> (rule2 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
triple3
Erin is green.
("Erin" "is" "green" "+")
triple4
((triple6) -> (rule3 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is not nice.
("Erin" "is" "nice" "-")
triple5
Erin is red.
("Erin" "is" "red" "+")
triple6
Erin is white.
("Erin" "is" "white" "+")
triple7
((triple4) -> (rule1 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
((triple4) -> (rule2 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
((((triple6) -> (rule3 % int2))) -> (rule1 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
((((triple6) -> (rule3 % int2))) -> (rule2 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
triple8
((triple9) -> (rule3 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
triple9
Gary is big.
("Gary" "is" "big" "+")
triple10
Gary is cold.
("Gary" "is" "cold" "+")
triple11
Gary is furry.
("Gary" "is" "furry" "+")
triple12
Gary is not nice.
("Gary" "is" "nice" "-")
triple13
Gary is not red.
("Gary" "is" "red" "-")
triple14
Gary is not white.
("Gary" "is" "white" "-")
triple15
Fiona is white.
("Fiona" "is" "white" "+")
((triple8) -> (rule1 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
((triple8) -> (rule2 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
((((triple9) -> (rule3 % int2))) -> (rule1 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
((((triple9) -> (rule3 % int2))) -> (rule2 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2