Anne is kind. Anne is nice. Dave is green. Dave is kind. Fiona is green. Gary is blue. Gary is round. All green people are quiet. All nice, young people are blue. If someone is round and blue then they are young. Quiet people are nice. Kind people are young. If someone is kind and round then they are young.
Anne is kind.
("Anne" "is" "kind" "+")
Anne is nice.
("Anne" "is" "nice" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is round.
("Gary" "is" "round" "+")
All green people are quiet.
((("someone" "is" "green" "+")) -> ("someone" "is" "quiet" "+"))
All nice, young people are blue.
((("someone" "is" "nice" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "blue" "+"))
If someone is round and blue then they are young.
((("someone" "is" "round" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "young" "+"))
Quiet people are nice.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "nice" "+"))
Kind people are young.
((("someone" "is" "kind" "+")) -> ("someone" "is" "young" "+"))
If someone is kind and round then they are young.
((("someone" "is" "kind" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "young" "+"))
Gary is round.
True
1
proof
[(triple7)]
("Gary" "is" "round" "+")
triple7
Anne is not kind.
False
1
inv-proof
[(triple1)]
("Anne" "is" "kind" "-")
triple1
Fiona is not blue.
Unknown
inv-rconc
[@2: Fiona is blue.[CWA. Example of deepest failure = (rule2 <- rule3 <- FAIL)]]
("Fiona" "is" "blue" "-")
Fiona is round.
Unknown
random
[@0: Fiona is round.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "round" "+")
@0: Anne is kind.[(triple1)] Anne is nice.[(triple2)] Dave is green.[(triple3)] Dave is kind.[(triple4)] Fiona is green.[(triple5)] Gary is blue.[(triple6)] Gary is round.[(triple7)] @1: Anne is young.[(((triple1) -> rule5))] Dave is quiet.[(((triple3) -> rule1))] Dave is young.[(((triple4) -> rule5))] Fiona is quiet.[(((triple5) -> rule1))] Gary is young.[(((triple7 triple6) -> rule3))] @2: Anne is blue.[(((triple2 ((triple1) -> rule5)) -> rule2))] Dave is nice.[(((((triple3) -> rule1)) -> rule4))] Fiona is nice.[(((((triple5) -> rule1)) -> rule4))] @3: Dave is blue.[(((((((triple3) -> rule1)) -> rule4) ((triple4) -> rule5)) -> rule2))]
Anne is kind.
("Anne" "is" "kind" "+")
triple1
Anne is nice.
("Anne" "is" "nice" "+")
triple2
Dave is green.
("Dave" "is" "green" "+")
triple3
Dave is kind.
("Dave" "is" "kind" "+")
triple4
Fiona is green.
("Fiona" "is" "green" "+")
triple5
Gary is blue.
("Gary" "is" "blue" "+")
triple6
Gary is round.
("Gary" "is" "round" "+")
triple7
Anne is young.
("Anne" "is" "young" "+")
((triple1) -> (rule5 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
((triple3) -> (rule1 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
((triple4) -> (rule5 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
((triple5) -> (rule1 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
((triple7 triple6) -> (rule3 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
((triple2 ((triple1) -> (rule5 % int2))) -> (rule2 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
((((triple3) -> (rule1 % int2))) -> (rule4 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
((((triple5) -> (rule1 % int2))) -> (rule4 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
((((((triple3) -> (rule1 % int4))) -> (rule4 % int3)) ((triple4) -> (rule5 % int2))) -> (rule2 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave is quiet.
("Dave" "is" "quiet" "+")
int4