Anne is rough. Bob is rough. Erin is young. Gary is rough. If Anne is nice and Anne is rough then Anne is green. If someone is young then they are green. Green, young people are rough. If Bob is red then Bob is nice. If Bob is red and Bob is quiet then Bob is green. Green people are young.
Anne is rough.
("Anne" "is" "rough" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Erin is young.
("Erin" "is" "young" "+")
Gary is rough.
("Gary" "is" "rough" "+")
If Anne is nice and Anne is rough then Anne is green.
((("Anne" "is" "nice" "+") ("Anne" "is" "rough" "+")) -> ("Anne" "is" "green" "+"))
If someone is young then they are green.
((("someone" "is" "young" "+")) -> ("someone" "is" "green" "+"))
Green, young people are rough.
((("someone" "is" "green" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "rough" "+"))
If Bob is red then Bob is nice.
((("Bob" "is" "red" "+")) -> ("Bob" "is" "nice" "+"))
If Bob is red and Bob is quiet then Bob is green.
((("Bob" "is" "red" "+") ("Bob" "is" "quiet" "+")) -> ("Bob" "is" "green" "+"))
Green people are young.
((("someone" "is" "green" "+")) -> ("someone" "is" "young" "+"))
Bob is rough.
True
1
proof
[(triple2)]
("Bob" "is" "rough" "+")
triple2
Anne is not rough.
False
1
inv-proof
[(triple1)]
("Anne" "is" "rough" "-")
triple1
Erin is green.
True
2
proof
[(((triple3) -> rule2))]
("Erin" "is" "green" "+")
((triple3) -> (rule2 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is not green.
False
2
inv-proof
[(((triple3) -> rule2))]
("Erin" "is" "green" "-")
((triple3) -> (rule2 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Bob is not green.
Unknown
inv-rconc
[@3: Bob is green.[CWA. Example of deepest failure = (rule2 <- rule6 <- rule5 <- FAIL)]]
("Bob" "is" "green" "-")
Bob is nice.
Unknown
rconc
[@1: Bob is nice.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Bob" "is" "nice" "+")
Anne is not red.
Unknown
inv-random
[@0: Anne is red.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "red" "-")
Gary is red.
Unknown
random
[@0: Gary is red.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "red" "+")
@0: Anne is rough.[(triple1)] Bob is rough.[(triple2)] Erin is young.[(triple3)] Gary is rough.[(triple4)] @1: Erin is green.[(((triple3) -> rule2))] @2: Erin is rough.[(((((triple3) -> rule2) triple3) -> rule3))]
Anne is rough.
("Anne" "is" "rough" "+")
triple1
Bob is rough.
("Bob" "is" "rough" "+")
triple2
Erin is young.
("Erin" "is" "young" "+")
triple3
Gary is rough.
("Gary" "is" "rough" "+")
triple4
Erin is green.
("Erin" "is" "green" "+")
((triple3) -> (rule2 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
((((triple3) -> (rule2 % int2)) triple3) -> (rule3 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2