Anne is big. Anne is rough. Anne is not white. Bob is not big. Bob is rough. Bob is young. Charlie is cold. Fiona is quiet. Fiona is white. Fiona is not young. If someone is big then they are not round. If someone is rough and not round then they are young.
Anne is big.
("Anne" "is" "big" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Anne is not white.
("Anne" "is" "white" "-")
Bob is not big.
("Bob" "is" "big" "-")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is young.
("Bob" "is" "young" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Fiona is not young.
("Fiona" "is" "young" "-")
If someone is big then they are not round.
((("someone" "is" "big" "+")) -> ("someone" "is" "round" "-"))
If someone is rough and not round then they are young.
((("someone" "is" "rough" "+") ("someone" "is" "round" "~")) -> ("someone" "is" "young" "+"))
Anne is rough.
True
1
proof
[(triple2)]
("Anne" "is" "rough" "+")
triple2
Fiona is not white.
False
1
inv-proof
[(triple9)]
("Fiona" "is" "white" "-")
triple9
Anne is not round.
True
2
proof
[(((triple1) -> rule1))]
("Anne" "is" "round" "-")
((triple1) -> (rule1 % int1))
Anne is not round.
("Anne" "is" "round" "-")
int1
Anne is round.
False
2
inv-proof
[(((triple1) -> rule1))]
("Anne" "is" "round" "+")
((triple1) -> (rule1 % int1))
Anne is not round.
("Anne" "is" "round" "-")
int1
Anne is young.
True
4
proof
[(((triple2 ((triple1) -> rule1)) -> rule2))]
("Anne" "is" "young" "+")
((triple2 ((triple1) -> (rule1 % int2))) -> (rule2 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is not round.
("Anne" "is" "round" "-")
int2
Anne is not young.
False
4
inv-proof
[(((triple2 ((triple1) -> rule1)) -> rule2))]
("Anne" "is" "young" "-")
((triple2 ((triple1) -> (rule1 % int2))) -> (rule2 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is not round.
("Anne" "is" "round" "-")
int2
Charlie is not young.
Unknown
inv-rconc
[@1: Charlie is young.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Charlie" "is" "young" "-")
Fiona is round.
Unknown
random
[@0: Fiona is round.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "round" "+")
Anne is not quiet.
Unknown
inv-random
[@0: Anne is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "quiet" "-")
Bob is round.
Unknown
random
[@0: Bob is round.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "round" "+")
Fiona is not rough.
Unknown
inv-random
[@0: Fiona is rough.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "rough" "-")
Bob is quiet.
Unknown
random
[@0: Bob is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "quiet" "+")
@0: Anne is big.[(triple1)] Anne is not white.[(triple3)] Anne is rough.[(triple2)] Bob is not big.[(triple4)] Bob is rough.[(triple5)] Bob is young.[(triple6)] Charlie is cold.[(triple7)] Fiona is not young.[(triple10)] Fiona is quiet.[(triple8)] Fiona is white.[(triple9)] @1: Anne is not round.[(((triple1) -> rule1))] @2: Anne is young.[(((triple2 ((triple1) -> rule1)) -> rule2))]
Anne is big.
("Anne" "is" "big" "+")
triple1
Anne is not white.
("Anne" "is" "white" "-")
triple3
Anne is rough.
("Anne" "is" "rough" "+")
triple2
Bob is not big.
("Bob" "is" "big" "-")
triple4
Bob is rough.
("Bob" "is" "rough" "+")
triple5
Bob is young.
("Bob" "is" "young" "+")
triple6
Charlie is cold.
("Charlie" "is" "cold" "+")
triple7
Fiona is not young.
("Fiona" "is" "young" "-")
triple10
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple8
Fiona is white.
("Fiona" "is" "white" "+")
triple9
Anne is not round.
("Anne" "is" "round" "-")
((triple1) -> (rule1 % int1))
Anne is not round.
("Anne" "is" "round" "-")
int1
Anne is young.
("Anne" "is" "young" "+")
((triple2 ((triple1) -> (rule1 % int2))) -> (rule2 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is not round.
("Anne" "is" "round" "-")
int2