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