Anne is young. Bob is round. Fiona is green. Gary is round. If something is young and furry then it is round. Young things are furry.
Anne is young.
("Anne" "is" "young" "+")
Bob is round.
("Bob" "is" "round" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Gary is round.
("Gary" "is" "round" "+")
If something is young and furry then it is round.
((("something" "is" "young" "+") ("something" "is" "furry" "+")) -> ("something" "is" "round" "+"))
Young things are furry.
((("something" "is" "young" "+")) -> ("something" "is" "furry" "+"))
Bob is round.
True
1
proof
[(triple2)]
("Bob" "is" "round" "+")
triple2
Bob is not round.
False
1
inv-proof
[(triple2)]
("Bob" "is" "round" "-")
triple2
Anne is furry.
True
2
proof
[(((triple1) -> rule2))]
("Anne" "is" "furry" "+")
((triple1) -> (rule2 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is not furry.
False
2
inv-proof
[(((triple1) -> rule2))]
("Anne" "is" "furry" "-")
((triple1) -> (rule2 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is round.
True
4
proof
[(((triple1 ((triple1) -> rule2)) -> rule1))]
("Anne" "is" "round" "+")
((triple1 ((triple1) -> (rule2 % int2))) -> (rule1 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is not round.
False
4
inv-proof
[(((triple1 ((triple1) -> rule2)) -> rule1))]
("Anne" "is" "round" "-")
((triple1 ((triple1) -> (rule2 % int2))) -> (rule1 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Bob is not furry.
Unknown
inv-rconc
[@1: Bob is furry.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "furry" "-")
Fiona is furry.
Unknown
rconc
[@1: Fiona is furry.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fiona" "is" "furry" "+")
Fiona is not round.
Unknown
inv-rconc
[@1: Fiona is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fiona" "is" "round" "-")
Anne is blue.
Unknown
random
[@0: Anne is blue.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "blue" "+")
Fiona is not big.
Unknown
inv-random
[@0: Fiona is big.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "big" "-")
Bob is big.
Unknown
random
[@0: Bob is big.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "big" "+")
@0: Anne is young.[(triple1)] Bob is round.[(triple2)] Fiona is green.[(triple3)] Gary is round.[(triple4)] @1: Anne is furry.[(((triple1) -> rule2))] @2: Anne is round.[(((triple1 ((triple1) -> rule2)) -> rule1))]
Anne is young.
("Anne" "is" "young" "+")
triple1
Bob is round.
("Bob" "is" "round" "+")
triple2
Fiona is green.
("Fiona" "is" "green" "+")
triple3
Gary is round.
("Gary" "is" "round" "+")
triple4
Anne is furry.
("Anne" "is" "furry" "+")
((triple1) -> (rule2 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
((triple1 ((triple1) -> (rule2 % int2))) -> (rule1 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2