Bob is green. Bob is white. Dave is blue. Dave is not green. Dave is smart. Erin is nice. Erin is smart. Erin is white. Gary is green. Gary is not red. Gary is round. Gary is not smart. If something is round then it is white. All smart, white things are not red.
Bob is green.
("Bob" "is" "green" "+")
Bob is white.
("Bob" "is" "white" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Dave is not green.
("Dave" "is" "green" "-")
Dave is smart.
("Dave" "is" "smart" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Erin is white.
("Erin" "is" "white" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is not red.
("Gary" "is" "red" "-")
Gary is round.
("Gary" "is" "round" "+")
Gary is not smart.
("Gary" "is" "smart" "-")
If something is round then it is white.
((("something" "is" "round" "+")) -> ("something" "is" "white" "+"))
All smart, white things are not red.
((("something" "is" "smart" "+") ("something" "is" "white" "+")) -> ("something" "is" "red" "-"))
Gary is green.
True
1
proof
[(triple9)]
("Gary" "is" "green" "+")
triple9
Gary is not green.
False
1
inv-proof
[(triple9)]
("Gary" "is" "green" "-")
triple9
Gary is white.
True
2
proof
[(((triple11) -> rule1))]
("Gary" "is" "white" "+")
((triple11) -> (rule1 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Erin is red.
False
3
inv-proof
[(((triple7 triple8) -> rule2))]
("Erin" "is" "red" "+")
((triple7 triple8) -> (rule2 % int1))
Erin is not red.
("Erin" "is" "red" "-")
int1
Dave is not white.
Unknown
inv-rconc
[@1: Dave is white.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "white" "-")
Dave is round.
Unknown
random
[@0: Dave is round.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "round" "+")
Dave is not nice.
Unknown
inv-random
[@0: Dave is nice.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "nice" "-")
Bob is nice.
Unknown
random
[@0: Bob is nice.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "nice" "+")
@0: Bob is green.[(triple1)] Bob is white.[(triple2)] Dave is blue.[(triple3)] Dave is not green.[(triple4)] Dave is smart.[(triple5)] Erin is nice.[(triple6)] Erin is smart.[(triple7)] Erin is white.[(triple8)] Gary is green.[(triple9)] Gary is not red.[(triple10)] Gary is not smart.[(triple12)] Gary is round.[(triple11)] @1: Erin is not red.[(((triple7 triple8) -> rule2))] Gary is white.[(((triple11) -> rule1))]
Bob is green.
("Bob" "is" "green" "+")
triple1
Bob is white.
("Bob" "is" "white" "+")
triple2
Dave is blue.
("Dave" "is" "blue" "+")
triple3
Dave is not green.
("Dave" "is" "green" "-")
triple4
Dave is smart.
("Dave" "is" "smart" "+")
triple5
Erin is nice.
("Erin" "is" "nice" "+")
triple6
Erin is smart.
("Erin" "is" "smart" "+")
triple7
Erin is white.
("Erin" "is" "white" "+")
triple8
Gary is green.
("Gary" "is" "green" "+")
triple9
Gary is not red.
("Gary" "is" "red" "-")
triple10
Gary is not smart.
("Gary" "is" "smart" "-")
triple12
Gary is round.
("Gary" "is" "round" "+")
triple11
Erin is not red.
("Erin" "is" "red" "-")
((triple7 triple8) -> (rule2 % int1))
Erin is not red.
("Erin" "is" "red" "-")
int1
Gary is white.
("Gary" "is" "white" "+")
((triple11) -> (rule1 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1