Erin is cold. Erin is green. Erin is nice. Erin is smart. Erin is white. Fiona is cold. Gary is furry. If something is cold then it is nice. If something is kind and not nice then it is white. If something is nice then it is white.
Erin is cold.
("Erin" "is" "cold" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Erin is white.
("Erin" "is" "white" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Gary is furry.
("Gary" "is" "furry" "+")
If something is cold then it is nice.
((("something" "is" "cold" "+")) -> ("something" "is" "nice" "+"))
If something is kind and not nice then it is white.
((("something" "is" "kind" "+") ("something" "is" "nice" "~")) -> ("something" "is" "white" "+"))
If something is nice then it is white.
((("something" "is" "nice" "+")) -> ("something" "is" "white" "+"))
Erin is nice.
True
1
proof
[(triple3 OR ((triple1) -> rule1))]
("Erin" "is" "nice" "+")
triple3
((triple1) -> (rule1 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Fiona is not cold.
False
1
inv-proof
[(triple6)]
("Fiona" "is" "cold" "-")
triple6
Fiona is nice.
True
2
proof
[(((triple6) -> rule1))]
("Fiona" "is" "nice" "+")
((triple6) -> (rule1 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is not nice.
False
2
inv-proof
[(((triple6) -> rule1))]
("Fiona" "is" "nice" "-")
((triple6) -> (rule1 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is white.
True
3
proof
[(((((triple6) -> rule1)) -> rule3))]
("Fiona" "is" "white" "+")
((((triple6) -> (rule1 % int2))) -> (rule3 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is not white.
False
3
inv-proof
[(((((triple6) -> rule1)) -> rule3))]
("Fiona" "is" "white" "-")
((((triple6) -> (rule1 % int2))) -> (rule3 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Gary is not white.
Unknown
inv-rconc
[@2: Gary is white.[CWA. Example of deepest failure = (rule3 <- rule1 <- FAIL)]]
("Gary" "is" "white" "-")
Gary is nice.
Unknown
rconc
[@1: Gary is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "nice" "+")
Gary is not cold.
Unknown
inv-random
[@0: Gary is cold.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "cold" "-")
Fiona is smart.
Unknown
random
[@0: Fiona is smart.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "smart" "+")
Fiona is not furry.
Unknown
inv-random
[@0: Fiona is furry.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "furry" "-")
Erin is kind.
Unknown
random
[@0: Erin is kind.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "kind" "+")
@0: Erin is cold.[(triple1)] Erin is green.[(triple2)] Erin is nice.[(triple3 OR ((triple1) -> rule1))] Erin is smart.[(triple4)] Erin is white.[(triple5 OR ((triple3) -> rule3) OR ((((triple1) -> rule1)) -> rule3))] Fiona is cold.[(triple6)] Gary is furry.[(triple7)] @1: Fiona is nice.[(((triple6) -> rule1))] @2: Fiona is white.[(((((triple6) -> rule1)) -> rule3))]
Erin is cold.
("Erin" "is" "cold" "+")
triple1
Erin is green.
("Erin" "is" "green" "+")
triple2
Erin is nice.
("Erin" "is" "nice" "+")
triple3
((triple1) -> (rule1 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
triple4
Erin is white.
("Erin" "is" "white" "+")
triple5
((triple3) -> (rule3 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
((((triple1) -> (rule1 % int2))) -> (rule3 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
triple6
Gary is furry.
("Gary" "is" "furry" "+")
triple7
Fiona is nice.
("Fiona" "is" "nice" "+")
((triple6) -> (rule1 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
((((triple6) -> (rule1 % int2))) -> (rule3 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2