Anne is rough. Anne is smart. Anne is young. Gary is big. Gary is rough. Gary is round. Gary is smart. Big, furry things are round. All green, young things are big. All smart, young things are rough. All big things are smart. All round, big things are green. Green things are smart. All rough, round things are young. If Anne is smart and Anne is big then Anne is young.
Anne is rough.
("Anne" "is" "rough" "+")
Anne is smart.
("Anne" "is" "smart" "+")
Anne is young.
("Anne" "is" "young" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is smart.
("Gary" "is" "smart" "+")
Big, furry things are round.
((("something" "is" "big" "+") ("something" "is" "furry" "+")) -> ("something" "is" "round" "+"))
All green, young things are big.
((("something" "is" "green" "+") ("something" "is" "young" "+")) -> ("something" "is" "big" "+"))
All smart, young things are rough.
((("something" "is" "smart" "+") ("something" "is" "young" "+")) -> ("something" "is" "rough" "+"))
All big things are smart.
((("something" "is" "big" "+")) -> ("something" "is" "smart" "+"))
All round, big things are green.
((("something" "is" "round" "+") ("something" "is" "big" "+")) -> ("something" "is" "green" "+"))
Green things are smart.
((("something" "is" "green" "+")) -> ("something" "is" "smart" "+"))
All rough, round things are young.
((("something" "is" "rough" "+") ("something" "is" "round" "+")) -> ("something" "is" "young" "+"))
If Anne is smart and Anne is big then Anne is young.
((("Anne" "is" "smart" "+") ("Anne" "is" "big" "+")) -> ("Anne" "is" "young" "+"))
Anne is young.
True
1
proof
[(triple3)]
("Anne" "is" "young" "+")
triple3
Gary is not round.
False
1
inv-proof
[(triple6)]
("Gary" "is" "round" "-")
triple6
Gary is young.
True
3
proof
[(((triple5 triple6) -> rule7))]
("Gary" "is" "young" "+")
((triple5 triple6) -> (rule7 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is not green.
False
3
inv-proof
[(((triple6 triple4) -> rule5))]
("Gary" "is" "green" "-")
((triple6 triple4) -> (rule5 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Anne is not big.
Unknown
inv-rconc
[@2: Anne is big.[CWA. Example of deepest failure = (rule2 <- rule5 <- FAIL)]]
("Anne" "is" "big" "-")
Anne is green.
Unknown
rconc
[@2: Anne is green.[CWA. Example of deepest failure = (rule5 <- rule1 <- FAIL)]]
("Anne" "is" "green" "+")
Gary is not furry.
Unknown
inv-random
[@0: Gary is furry.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "furry" "-")
Anne is furry.
Unknown
random
[@0: Anne is furry.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "furry" "+")
@0: Anne is rough.[(triple1 OR ((triple2 triple3) -> rule3))] Anne is smart.[(triple2)] Anne is young.[(triple3)] Gary is big.[(triple4)] Gary is rough.[(triple5)] Gary is round.[(triple6)] Gary is smart.[(triple7 OR ((triple4) -> rule4) OR ((((triple6 triple4) -> rule5)) -> rule6))] @1: Gary is green.[(((triple6 triple4) -> rule5))] Gary is young.[(((triple5 triple6) -> rule7))]
Anne is rough.
("Anne" "is" "rough" "+")
triple1
((triple2 triple3) -> (rule3 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
triple2
Anne is young.
("Anne" "is" "young" "+")
triple3
Gary is big.
("Gary" "is" "big" "+")
triple4
Gary is rough.
("Gary" "is" "rough" "+")
triple5
Gary is round.
("Gary" "is" "round" "+")
triple6
Gary is smart.
("Gary" "is" "smart" "+")
triple7
((triple4) -> (rule4 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
((((triple6 triple4) -> (rule5 % int2))) -> (rule6 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
((triple6 triple4) -> (rule5 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
((triple5 triple6) -> (rule7 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1