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