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