Anne is furry. Anne is rough. Anne is round. Erin is green. Erin is kind. Fiona is not round. Gary is green. If someone is round and rough then they are kind. If someone is kind and rough then they are young.
Anne is furry.
("Anne" "is" "furry" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Anne is round.
("Anne" "is" "round" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Fiona is not round.
("Fiona" "is" "round" "-")
Gary is green.
("Gary" "is" "green" "+")
If someone is round and rough then they are kind.
((("someone" "is" "round" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "kind" "+"))
If someone is kind and rough then they are young.
((("someone" "is" "kind" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "young" "+"))
Fiona is not round.
True
1
proof
[(triple6)]
("Fiona" "is" "round" "-")
triple6
Gary is not green.
False
1
inv-proof
[(triple7)]
("Gary" "is" "green" "-")
triple7
Anne is kind.
True
3
proof
[(((triple3 triple2) -> rule1))]
("Anne" "is" "kind" "+")
((triple3 triple2) -> (rule1 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is not kind.
False
3
inv-proof
[(((triple3 triple2) -> rule1))]
("Anne" "is" "kind" "-")
((triple3 triple2) -> (rule1 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is young.
True
5
proof
[(((((triple3 triple2) -> rule1) triple2) -> rule2))]
("Anne" "is" "young" "+")
((((triple3 triple2) -> (rule1 % int2)) triple2) -> (rule2 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is not young.
False
5
inv-proof
[(((((triple3 triple2) -> rule1) triple2) -> rule2))]
("Anne" "is" "young" "-")
((((triple3 triple2) -> (rule1 % int2)) triple2) -> (rule2 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Gary is not kind.
Unknown
inv-rconc
[@1: Gary is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "kind" "-")
Fiona is young.
Unknown
rconc
[@1: Fiona is young.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fiona" "is" "young" "+")
Fiona is not kind.
Unknown
inv-rconc
[@1: Fiona is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fiona" "is" "kind" "-")
Fiona is big.
Unknown
random
[@0: Fiona is big.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "big" "+")
Gary is not round.
Unknown
inv-random
[@0: Gary is round.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "round" "-")
Fiona is furry.
Unknown
random
[@0: Fiona is furry.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "furry" "+")
@0: Anne is furry.[(triple1)] Anne is rough.[(triple2)] Anne is round.[(triple3)] Erin is green.[(triple4)] Erin is kind.[(triple5)] Fiona is not round.[(triple6)] Gary is green.[(triple7)] @1: Anne is kind.[(((triple3 triple2) -> rule1))] @2: Anne is young.[(((((triple3 triple2) -> rule1) triple2) -> rule2))]
Anne is furry.
("Anne" "is" "furry" "+")
triple1
Anne is rough.
("Anne" "is" "rough" "+")
triple2
Anne is round.
("Anne" "is" "round" "+")
triple3
Erin is green.
("Erin" "is" "green" "+")
triple4
Erin is kind.
("Erin" "is" "kind" "+")
triple5
Fiona is not round.
("Fiona" "is" "round" "-")
triple6
Gary is green.
("Gary" "is" "green" "+")
triple7
Anne is kind.
("Anne" "is" "kind" "+")
((triple3 triple2) -> (rule1 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
((((triple3 triple2) -> (rule1 % int2)) triple2) -> (rule2 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2