Anne is not cold. Anne is round. Anne is smart. Anne is young. Charlie is big. Charlie is not smart. Charlie is not young. All young, round people are big. If Anne is furry and Anne is young then Anne is green.
Anne is not cold.
("Anne" "is" "cold" "-")
Anne is round.
("Anne" "is" "round" "+")
Anne is smart.
("Anne" "is" "smart" "+")
Anne is young.
("Anne" "is" "young" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Charlie is not smart.
("Charlie" "is" "smart" "-")
Charlie is not young.
("Charlie" "is" "young" "-")
All young, round people are big.
((("someone" "is" "young" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "big" "+"))
If Anne is furry and Anne is young then Anne is green.
((("Anne" "is" "furry" "+") ("Anne" "is" "young" "+")) -> ("Anne" "is" "green" "+"))
Anne is young.
True
1
proof
[(triple4)]
("Anne" "is" "young" "+")
triple4
Charlie is young.
False
1
inv-proof
[(triple7)]
("Charlie" "is" "young" "+")
triple7
Anne is big.
True
3
proof
[(((triple4 triple2) -> rule1))]
("Anne" "is" "big" "+")
((triple4 triple2) -> (rule1 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is not big.
False
3
inv-proof
[(((triple4 triple2) -> rule1))]
("Anne" "is" "big" "-")
((triple4 triple2) -> (rule1 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is not green.
Unknown
inv-rconc
[@1: Anne is green.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Anne" "is" "green" "-")
Charlie is round.
Unknown
random
[@0: Charlie is round.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "round" "+")
Charlie is not cold.
Unknown
inv-random
[@0: Charlie is cold.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "cold" "-")
Charlie is furry.
Unknown
random
[@0: Charlie is furry.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "furry" "+")
@0: Anne is not cold.[(triple1)] Anne is round.[(triple2)] Anne is smart.[(triple3)] Anne is young.[(triple4)] Charlie is big.[(triple5)] Charlie is not smart.[(triple6)] Charlie is not young.[(triple7)] @1: Anne is big.[(((triple4 triple2) -> rule1))]
Anne is not cold.
("Anne" "is" "cold" "-")
triple1
Anne is round.
("Anne" "is" "round" "+")
triple2
Anne is smart.
("Anne" "is" "smart" "+")
triple3
Anne is young.
("Anne" "is" "young" "+")
triple4
Charlie is big.
("Charlie" "is" "big" "+")
triple5
Charlie is not smart.
("Charlie" "is" "smart" "-")
triple6
Charlie is not young.
("Charlie" "is" "young" "-")
triple7
Anne is big.
("Anne" "is" "big" "+")
((triple4 triple2) -> (rule1 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1