Dave is blue. Dave is red. Dave is smart. Erin is blue. Erin is round. Erin is smart. Gary is smart. All blue things are green. All green, round things are smart.
Dave is blue.
("Dave" "is" "blue" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is smart.
("Dave" "is" "smart" "+")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is round.
("Erin" "is" "round" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Gary is smart.
("Gary" "is" "smart" "+")
All blue things are green.
((("something" "is" "blue" "+")) -> ("something" "is" "green" "+"))
All green, round things are smart.
((("something" "is" "green" "+") ("something" "is" "round" "+")) -> ("something" "is" "smart" "+"))
Erin is blue.
True
1
proof
[(triple4)]
("Erin" "is" "blue" "+")
triple4
Gary is not smart.
False
1
inv-proof
[(triple7)]
("Gary" "is" "smart" "-")
triple7
Dave is green.
True
2
proof
[(((triple1) -> rule1))]
("Dave" "is" "green" "+")
((triple1) -> (rule1 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is not green.
False
2
inv-proof
[(((triple1) -> rule1))]
("Dave" "is" "green" "-")
((triple1) -> (rule1 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Gary is not green.
Unknown
inv-rconc
[@1: Gary is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "green" "-")
Dave is quiet.
Unknown
random
[@0: Dave is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "quiet" "+")
Erin is not quiet.
Unknown
inv-random
[@0: Erin is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "quiet" "-")
Gary is quiet.
Unknown
random
[@0: Gary is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "quiet" "+")
@0: Dave is blue.[(triple1)] Dave is red.[(triple2)] Dave is smart.[(triple3)] Erin is blue.[(triple4)] Erin is round.[(triple5)] Erin is smart.[(triple6 OR ((((triple4) -> rule1) triple5) -> rule2))] Gary is smart.[(triple7)] @1: Dave is green.[(((triple1) -> rule1))] Erin is green.[(((triple4) -> rule1))]
Dave is blue.
("Dave" "is" "blue" "+")
triple1
Dave is red.
("Dave" "is" "red" "+")
triple2
Dave is smart.
("Dave" "is" "smart" "+")
triple3
Erin is blue.
("Erin" "is" "blue" "+")
triple4
Erin is round.
("Erin" "is" "round" "+")
triple5
Erin is smart.
("Erin" "is" "smart" "+")
triple6
((((triple4) -> (rule1 % int2)) triple5) -> (rule2 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
triple7
Dave is green.
("Dave" "is" "green" "+")
((triple1) -> (rule1 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
((triple4) -> (rule1 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1