Anne is rough. Erin is rough. Gary is smart. Harry is green. If something is green then it is furry. All cold, smart things are young.
Anne is rough.
("Anne" "is" "rough" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Gary is smart.
("Gary" "is" "smart" "+")
Harry is green.
("Harry" "is" "green" "+")
If something is green then it is furry.
((("something" "is" "green" "+")) -> ("something" "is" "furry" "+"))
All cold, smart things are young.
((("something" "is" "cold" "+") ("something" "is" "smart" "+")) -> ("something" "is" "young" "+"))
Gary is smart.
True
1
proof
[(triple3)]
("Gary" "is" "smart" "+")
triple3
Erin is not rough.
False
1
inv-proof
[(triple2)]
("Erin" "is" "rough" "-")
triple2
Harry is furry.
True
2
proof
[(((triple4) -> rule1))]
("Harry" "is" "furry" "+")
((triple4) -> (rule1 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is not furry.
False
2
inv-proof
[(((triple4) -> rule1))]
("Harry" "is" "furry" "-")
((triple4) -> (rule1 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Gary is not young.
Unknown
inv-rconc
[@1: Gary is young.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Gary" "is" "young" "-")
Erin is furry.
Unknown
rconc
[@1: Erin is furry.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Erin" "is" "furry" "+")
Harry is not rough.
Unknown
inv-random
[@0: Harry is rough.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "rough" "-")
Gary is rough.
Unknown
random
[@0: Gary is rough.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "rough" "+")
@0: Anne is rough.[(triple1)] Erin is rough.[(triple2)] Gary is smart.[(triple3)] Harry is green.[(triple4)] @1: Harry is furry.[(((triple4) -> rule1))]
Anne is rough.
("Anne" "is" "rough" "+")
triple1
Erin is rough.
("Erin" "is" "rough" "+")
triple2
Gary is smart.
("Gary" "is" "smart" "+")
triple3
Harry is green.
("Harry" "is" "green" "+")
triple4
Harry is furry.
("Harry" "is" "furry" "+")
((triple4) -> (rule1 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1