Bob is blue. Bob is red. Dave is cold. Dave is kind. Dave is red. Erin is not cold. Erin is nice. Erin is red. Erin is white. Gary is blue. Gary is cold. Gary is red. If someone is red then they are kind. If Gary is kind then Gary is not nice.
Bob is blue.
("Bob" "is" "blue" "+")
Bob is red.
("Bob" "is" "red" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is red.
("Dave" "is" "red" "+")
Erin is not cold.
("Erin" "is" "cold" "-")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is red.
("Erin" "is" "red" "+")
Erin is white.
("Erin" "is" "white" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is red.
("Gary" "is" "red" "+")
If someone is red then they are kind.
((("someone" "is" "red" "+")) -> ("someone" "is" "kind" "+"))
If Gary is kind then Gary is not nice.
((("Gary" "is" "kind" "+")) -> ("Gary" "is" "nice" "-"))
Erin is red.
True
1
proof
[(triple8)]
("Erin" "is" "red" "+")
triple8
Erin is cold.
False
1
inv-proof
[(triple6)]
("Erin" "is" "cold" "+")
triple6
Gary is kind.
True
2
proof
[(((triple12) -> rule1))]
("Gary" "is" "kind" "+")
((triple12) -> (rule1 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is not kind.
False
2
inv-proof
[(((triple12) -> rule1))]
("Gary" "is" "kind" "-")
((triple12) -> (rule1 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is not rough.
Unknown
inv-random
[@0: Gary is rough.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "rough" "-")
Dave is rough.
Unknown
random
[@0: Dave is rough.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "rough" "+")
Bob is not white.
Unknown
inv-random
[@0: Bob is white.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "white" "-")
Dave is blue.
Unknown
random
[@0: Dave is blue.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "blue" "+")
@0: Bob is blue.[(triple1)] Bob is red.[(triple2)] Dave is cold.[(triple3)] Dave is kind.[(triple4 OR ((triple5) -> rule1))] Dave is red.[(triple5)] Erin is nice.[(triple7)] Erin is not cold.[(triple6)] Erin is red.[(triple8)] Erin is white.[(triple9)] Gary is blue.[(triple10)] Gary is cold.[(triple11)] Gary is red.[(triple12)] @1: Bob is kind.[(((triple2) -> rule1))] Erin is kind.[(((triple8) -> rule1))] Gary is kind.[(((triple12) -> rule1))] @2: Gary is not nice.[(((((triple12) -> rule1)) -> rule2))]
Bob is blue.
("Bob" "is" "blue" "+")
triple1
Bob is red.
("Bob" "is" "red" "+")
triple2
Dave is cold.
("Dave" "is" "cold" "+")
triple3
Dave is kind.
("Dave" "is" "kind" "+")
triple4
((triple5) -> (rule1 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
triple5
Erin is nice.
("Erin" "is" "nice" "+")
triple7
Erin is not cold.
("Erin" "is" "cold" "-")
triple6
Erin is red.
("Erin" "is" "red" "+")
triple8
Erin is white.
("Erin" "is" "white" "+")
triple9
Gary is blue.
("Gary" "is" "blue" "+")
triple10
Gary is cold.
("Gary" "is" "cold" "+")
triple11
Gary is red.
("Gary" "is" "red" "+")
triple12
Bob is kind.
("Bob" "is" "kind" "+")
((triple2) -> (rule1 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
((triple8) -> (rule1 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
((triple12) -> (rule1 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is not nice.
("Gary" "is" "nice" "-")
((((triple12) -> (rule1 % int2))) -> (rule2 % int1))
Gary is not nice.
("Gary" "is" "nice" "-")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2