Anne is green. Bob is green. Bob is rough. Charlie is green. Charlie is red. Erin is quiet. Erin is rough. If someone is green and rough then they are young.
Anne is green.
("Anne" "is" "green" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is rough.
("Erin" "is" "rough" "+")
If someone is green and rough then they are young.
((("someone" "is" "green" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "young" "+"))
Bob is green.
True
1
proof
[(triple2)]
("Bob" "is" "green" "+")
triple2
Bob is not green.
False
1
inv-proof
[(triple2)]
("Bob" "is" "green" "-")
triple2
Bob is young.
True
3
proof
[(((triple2 triple3) -> rule1))]
("Bob" "is" "young" "+")
((triple2 triple3) -> (rule1 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is not young.
False
3
inv-proof
[(((triple2 triple3) -> rule1))]
("Bob" "is" "young" "-")
((triple2 triple3) -> (rule1 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Anne is not young.
Unknown
inv-rconc
[@1: Anne is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Anne" "is" "young" "-")
Charlie is young.
Unknown
rconc
[@1: Charlie is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "young" "+")
Anne is not red.
Unknown
inv-random
[@0: Anne is red.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "red" "-")
Erin is round.
Unknown
random
[@0: Erin is round.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "round" "+")
@0: Anne is green.[(triple1)] Bob is green.[(triple2)] Bob is rough.[(triple3)] Charlie is green.[(triple4)] Charlie is red.[(triple5)] Erin is quiet.[(triple6)] Erin is rough.[(triple7)] @1: Bob is young.[(((triple2 triple3) -> rule1))]
Anne is green.
("Anne" "is" "green" "+")
triple1
Bob is green.
("Bob" "is" "green" "+")
triple2
Bob is rough.
("Bob" "is" "rough" "+")
triple3
Charlie is green.
("Charlie" "is" "green" "+")
triple4
Charlie is red.
("Charlie" "is" "red" "+")
triple5
Erin is quiet.
("Erin" "is" "quiet" "+")
triple6
Erin is rough.
("Erin" "is" "rough" "+")
triple7
Bob is young.
("Bob" "is" "young" "+")
((triple2 triple3) -> (rule1 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1