Anne is big. Anne is cold. Anne is red. Anne is rough. Bob is big. Bob is red. Bob is rough. Bob is smart. Dave is big. Dave is green. Dave is rough. Dave is not white. Gary is big. Gary is red. Gary is smart. Gary is not white. All big people are cold. Rough, white people are not cold. All white people are cold. Rough, white people are not red. All rough, green people are not red. Red people are rough. If Bob is smart and Bob is cold then Bob is big. If someone is white then they are green.
Anne is big.
("Anne" "is" "big" "+")
Anne is cold.
("Anne" "is" "cold" "+")
Anne is red.
("Anne" "is" "red" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Bob is big.
("Bob" "is" "big" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is smart.
("Bob" "is" "smart" "+")
Dave is big.
("Dave" "is" "big" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is not white.
("Dave" "is" "white" "-")
Gary is big.
("Gary" "is" "big" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is smart.
("Gary" "is" "smart" "+")
Gary is not white.
("Gary" "is" "white" "-")
All big people are cold.
((("someone" "is" "big" "+")) -> ("someone" "is" "cold" "+"))
Rough, white people are not cold.
((("someone" "is" "rough" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "cold" "-"))
All white people are cold.
((("someone" "is" "white" "+")) -> ("someone" "is" "cold" "+"))
Rough, white people are not red.
((("someone" "is" "rough" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "red" "-"))
All rough, green people are not red.
((("someone" "is" "rough" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "red" "-"))
Red people are rough.
((("someone" "is" "red" "+")) -> ("someone" "is" "rough" "+"))
If Bob is smart and Bob is cold then Bob is big.
((("Bob" "is" "smart" "+") ("Bob" "is" "cold" "+")) -> ("Bob" "is" "big" "+"))
If someone is white then they are green.
((("someone" "is" "white" "+")) -> ("someone" "is" "green" "+"))
Bob is big.
True
1
proof
[(triple5)]
("Bob" "is" "big" "+")
triple5
Dave is not rough.
False
1
inv-proof
[(triple11)]
("Dave" "is" "rough" "-")
triple11
Bob is cold.
True
2
proof
[(((triple5) -> rule1))]
("Bob" "is" "cold" "+")
((triple5) -> (rule1 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Dave is red.
False
3
inv-proof
[(((triple11 triple10) -> rule5))]
("Dave" "is" "red" "+")
((triple11 triple10) -> (rule5 % int1))
Dave is not red.
("Dave" "is" "red" "-")
int1
Anne is not green.
Unknown
inv-rconc
[@1: Anne is green.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("Anne" "is" "green" "-")
Gary is green.
Unknown
rconc
[@1: Gary is green.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("Gary" "is" "green" "+")
Dave is not smart.
Unknown
inv-random
[@0: Dave is smart.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "smart" "-")
Bob is white.
Unknown
random
[@0: Bob is white.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "white" "+")
@0: Anne is big.[(triple1)] Anne is cold.[(triple2 OR ((triple1) -> rule1))] Anne is red.[(triple3)] Anne is rough.[(triple4 OR ((triple3) -> rule6))] Bob is big.[(triple5)] Bob is red.[(triple6)] Bob is rough.[(triple7 OR ((triple6) -> rule6))] Bob is smart.[(triple8)] Dave is big.[(triple9)] Dave is green.[(triple10)] Dave is not white.[(triple12)] Dave is rough.[(triple11)] Gary is big.[(triple13)] Gary is not white.[(triple16)] Gary is red.[(triple14)] Gary is smart.[(triple15)] @1: Bob is cold.[(((triple5) -> rule1))] Dave is cold.[(((triple9) -> rule1))] Dave is not red.[(((triple11 triple10) -> rule5))] Gary is cold.[(((triple13) -> rule1))] Gary is rough.[(((triple14) -> rule6))]
Anne is big.
("Anne" "is" "big" "+")
triple1
Anne is cold.
("Anne" "is" "cold" "+")
triple2
((triple1) -> (rule1 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
triple3
Anne is rough.
("Anne" "is" "rough" "+")
triple4
((triple3) -> (rule6 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
triple5
Bob is red.
("Bob" "is" "red" "+")
triple6
Bob is rough.
("Bob" "is" "rough" "+")
triple7
((triple6) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
triple8
Dave is big.
("Dave" "is" "big" "+")
triple9
Dave is green.
("Dave" "is" "green" "+")
triple10
Dave is not white.
("Dave" "is" "white" "-")
triple12
Dave is rough.
("Dave" "is" "rough" "+")
triple11
Gary is big.
("Gary" "is" "big" "+")
triple13
Gary is not white.
("Gary" "is" "white" "-")
triple16
Gary is red.
("Gary" "is" "red" "+")
triple14
Gary is smart.
("Gary" "is" "smart" "+")
triple15
Bob is cold.
("Bob" "is" "cold" "+")
((triple5) -> (rule1 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
((triple9) -> (rule1 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is not red.
("Dave" "is" "red" "-")
((triple11 triple10) -> (rule5 % int1))
Dave is not red.
("Dave" "is" "red" "-")
int1
Gary is cold.
("Gary" "is" "cold" "+")
((triple13) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
((triple14) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1