Bob is green. Charlie is quiet. Charlie is red. Dave is nice. Dave is quiet. Erin is green. Erin is quiet. All nice, quiet people are smart.
Bob is green.
("Bob" "is" "green" "+")
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is quiet.
("Dave" "is" "quiet" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
All nice, quiet people are smart.
((("someone" "is" "nice" "+") ("someone" "is" "quiet" "+")) -> ("someone" "is" "smart" "+"))
Erin is green.
True
1
proof
[(triple6)]
("Erin" "is" "green" "+")
triple6
Bob is not green.
False
1
inv-proof
[(triple1)]
("Bob" "is" "green" "-")
triple1
Dave is smart.
True
3
proof
[(((triple4 triple5) -> rule1))]
("Dave" "is" "smart" "+")
((triple4 triple5) -> (rule1 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is not smart.
False
3
inv-proof
[(((triple4 triple5) -> rule1))]
("Dave" "is" "smart" "-")
((triple4 triple5) -> (rule1 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Charlie is not smart.
Unknown
inv-rconc
[@1: Charlie is smart.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "smart" "-")
Bob is smart.
Unknown
rconc
[@1: Bob is smart.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "smart" "+")
Charlie is not young.
Unknown
inv-random
[@0: Charlie is young.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "young" "-")
Bob is young.
Unknown
random
[@0: Bob is young.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "young" "+")
@0: Bob is green.[(triple1)] Charlie is quiet.[(triple2)] Charlie is red.[(triple3)] Dave is nice.[(triple4)] Dave is quiet.[(triple5)] Erin is green.[(triple6)] Erin is quiet.[(triple7)] @1: Dave is smart.[(((triple4 triple5) -> rule1))]
Bob is green.
("Bob" "is" "green" "+")
triple1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple2
Charlie is red.
("Charlie" "is" "red" "+")
triple3
Dave is nice.
("Dave" "is" "nice" "+")
triple4
Dave is quiet.
("Dave" "is" "quiet" "+")
triple5
Erin is green.
("Erin" "is" "green" "+")
triple6
Erin is quiet.
("Erin" "is" "quiet" "+")
triple7
Dave is smart.
("Dave" "is" "smart" "+")
((triple4 triple5) -> (rule1 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1