Bob is cold. Bob is kind. Bob is red. Bob is white. Charlie is nice. Charlie is quiet. Charlie is white. Erin is cold. Erin is nice. Erin is red. Erin is rough. Gary is kind. Gary is nice. Gary is quiet. Gary is rough. All kind things are cold.
Bob is cold.
("Bob" "is" "cold" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is white.
("Bob" "is" "white" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Charlie is white.
("Charlie" "is" "white" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is red.
("Erin" "is" "red" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is rough.
("Gary" "is" "rough" "+")
All kind things are cold.
((("something" "is" "kind" "+")) -> ("something" "is" "cold" "+"))
Bob is red.
True
1
proof
[(triple3)]
("Bob" "is" "red" "+")
triple3
Charlie is not nice.
False
1
inv-proof
[(triple5)]
("Charlie" "is" "nice" "-")
triple5
Gary is cold.
True
2
proof
[(((triple12) -> rule1))]
("Gary" "is" "cold" "+")
((triple12) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is not cold.
False
2
inv-proof
[(((triple12) -> rule1))]
("Gary" "is" "cold" "-")
((triple12) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Charlie is not cold.
Unknown
inv-rconc
[@1: Charlie is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "cold" "-")
Bob is nice.
Unknown
random
[@0: Bob is nice.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "nice" "+")
Gary is not white.
Unknown
inv-random
[@0: Gary is white.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "white" "-")
Charlie is red.
Unknown
random
[@0: Charlie is red.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "red" "+")
@0: Bob is cold.[(triple1 OR ((triple2) -> rule1))] Bob is kind.[(triple2)] Bob is red.[(triple3)] Bob is white.[(triple4)] Charlie is nice.[(triple5)] Charlie is quiet.[(triple6)] Charlie is white.[(triple7)] Erin is cold.[(triple8)] Erin is nice.[(triple9)] Erin is red.[(triple10)] Erin is rough.[(triple11)] Gary is kind.[(triple12)] Gary is nice.[(triple13)] Gary is quiet.[(triple14)] Gary is rough.[(triple15)] @1: Gary is cold.[(((triple12) -> rule1))]
Bob is cold.
("Bob" "is" "cold" "+")
triple1
((triple2) -> (rule1 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
triple2
Bob is red.
("Bob" "is" "red" "+")
triple3
Bob is white.
("Bob" "is" "white" "+")
triple4
Charlie is nice.
("Charlie" "is" "nice" "+")
triple5
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple6
Charlie is white.
("Charlie" "is" "white" "+")
triple7
Erin is cold.
("Erin" "is" "cold" "+")
triple8
Erin is nice.
("Erin" "is" "nice" "+")
triple9
Erin is red.
("Erin" "is" "red" "+")
triple10
Erin is rough.
("Erin" "is" "rough" "+")
triple11
Gary is kind.
("Gary" "is" "kind" "+")
triple12
Gary is nice.
("Gary" "is" "nice" "+")
triple13
Gary is quiet.
("Gary" "is" "quiet" "+")
triple14
Gary is rough.
("Gary" "is" "rough" "+")
triple15
Gary is cold.
("Gary" "is" "cold" "+")
((triple12) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1