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