Anne is young. Harry is green. Harry is round. Round things are green. All white things are green. If something is green and smart then it is white. Green, smart things are young. If something is red then it is young. All round things are green.
Anne is young.
("Anne" "is" "young" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is round.
("Harry" "is" "round" "+")
Round things are green.
((("something" "is" "round" "+")) -> ("something" "is" "green" "+"))
All white things are green.
((("something" "is" "white" "+")) -> ("something" "is" "green" "+"))
If something is green and smart then it is white.
((("something" "is" "green" "+") ("something" "is" "smart" "+")) -> ("something" "is" "white" "+"))
Green, smart things are young.
((("something" "is" "green" "+") ("something" "is" "smart" "+")) -> ("something" "is" "young" "+"))
If something is red then it is young.
((("something" "is" "red" "+")) -> ("something" "is" "young" "+"))
All round things are green.
((("something" "is" "round" "+")) -> ("something" "is" "green" "+"))
Harry is green.
True
1
proof
[(triple2 OR ((triple3) -> rule1) OR ((triple3) -> rule6))]
("Harry" "is" "green" "+")
triple2
((triple3) -> (rule1 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
((triple3) -> (rule6 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is not round.
False
1
inv-proof
[(triple3)]
("Harry" "is" "round" "-")
triple3
Harry is not young.
Unknown
inv-rconc
[@1: Harry is young.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Harry" "is" "young" "-")
Harry is nice.
Unknown
random
[@0: Harry is nice.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "nice" "+")
@0: Anne is young.[(triple1)] Harry is green.[(triple2 OR ((triple3) -> rule1) OR ((triple3) -> rule6))] Harry is round.[(triple3)]
Anne is young.
("Anne" "is" "young" "+")
triple1
Harry is green.
("Harry" "is" "green" "+")
triple2
((triple3) -> (rule1 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
((triple3) -> (rule6 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
triple3