Anne is green. Anne is smart. Fiona is blue. Fiona is green. Fiona is rough. Fiona is round. Gary is quiet. All green people are round. All round people are quiet.
Anne is green.
("Anne" "is" "green" "+")
Anne is smart.
("Anne" "is" "smart" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
All green people are round.
((("someone" "is" "green" "+")) -> ("someone" "is" "round" "+"))
All round people are quiet.
((("someone" "is" "round" "+")) -> ("someone" "is" "quiet" "+"))
Anne is smart.
True
1
proof
[(triple2)]
("Anne" "is" "smart" "+")
triple2
Gary is not quiet.
False
1
inv-proof
[(triple7)]
("Gary" "is" "quiet" "-")
triple7
Anne is round.
True
2
proof
[(((triple1) -> rule1))]
("Anne" "is" "round" "+")
((triple1) -> (rule1 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is not round.
False
2
inv-proof
[(((triple1) -> rule1))]
("Anne" "is" "round" "-")
((triple1) -> (rule1 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is quiet.
True
3
proof
[(((((triple1) -> rule1)) -> rule2))]
("Anne" "is" "quiet" "+")
((((triple1) -> (rule1 % int2))) -> (rule2 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is not quiet.
False
3
inv-proof
[(((((triple1) -> rule1)) -> rule2))]
("Anne" "is" "quiet" "-")
((((triple1) -> (rule1 % int2))) -> (rule2 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Gary is not round.
Unknown
inv-rconc
[@1: Gary is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "round" "-")
Anne is blue.
Unknown
random
[@0: Anne is blue.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "blue" "+")
Fiona is not smart.
Unknown
inv-random
[@0: Fiona is smart.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "smart" "-")
Gary is smart.
Unknown
random
[@0: Gary is smart.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "smart" "+")
Gary is not young.
Unknown
inv-random
[@0: Gary is young.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "young" "-")
Fiona is young.
Unknown
random
[@0: Fiona is young.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "young" "+")
@0: Anne is green.[(triple1)] Anne is smart.[(triple2)] Fiona is blue.[(triple3)] Fiona is green.[(triple4)] Fiona is rough.[(triple5)] Fiona is round.[(triple6 OR ((triple4) -> rule1))] Gary is quiet.[(triple7)] @1: Anne is round.[(((triple1) -> rule1))] Fiona is quiet.[(((triple6) -> rule2) OR ((((triple4) -> rule1)) -> rule2))] @2: Anne is quiet.[(((((triple1) -> rule1)) -> rule2))]
Anne is green.
("Anne" "is" "green" "+")
triple1
Anne is smart.
("Anne" "is" "smart" "+")
triple2
Fiona is blue.
("Fiona" "is" "blue" "+")
triple3
Fiona is green.
("Fiona" "is" "green" "+")
triple4
Fiona is rough.
("Fiona" "is" "rough" "+")
triple5
Fiona is round.
("Fiona" "is" "round" "+")
triple6
((triple4) -> (rule1 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
triple7
Anne is round.
("Anne" "is" "round" "+")
((triple1) -> (rule1 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
((triple6) -> (rule2 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
((((triple4) -> (rule1 % int2))) -> (rule2 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
((((triple1) -> (rule1 % int2))) -> (rule2 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2