Gary is rough. Harry is green. Harry is round. If Harry is big then Harry is green. If Gary is green and Gary is big then Gary is furry. Nice things are furry. All round, cold things are rough. Rough things are big. All furry, big things are rough. All round things are big. If Gary is rough then Gary is cold.
Gary is rough.
("Gary" "is" "rough" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is round.
("Harry" "is" "round" "+")
If Harry is big then Harry is green.
((("Harry" "is" "big" "+")) -> ("Harry" "is" "green" "+"))
If Gary is green and Gary is big then Gary is furry.
((("Gary" "is" "green" "+") ("Gary" "is" "big" "+")) -> ("Gary" "is" "furry" "+"))
Nice things are furry.
((("something" "is" "nice" "+")) -> ("something" "is" "furry" "+"))
All round, cold things are rough.
((("something" "is" "round" "+") ("something" "is" "cold" "+")) -> ("something" "is" "rough" "+"))
Rough things are big.
((("something" "is" "rough" "+")) -> ("something" "is" "big" "+"))
All furry, big things are rough.
((("something" "is" "furry" "+") ("something" "is" "big" "+")) -> ("something" "is" "rough" "+"))
All round things are big.
((("something" "is" "round" "+")) -> ("something" "is" "big" "+"))
If Gary is rough then Gary is cold.
((("Gary" "is" "rough" "+")) -> ("Gary" "is" "cold" "+"))
Gary is rough.
True
1
proof
[(triple1)]
("Gary" "is" "rough" "+")
triple1
Gary is not rough.
False
1
inv-proof
[(triple1)]
("Gary" "is" "rough" "-")
triple1
Gary is not furry.
Unknown
inv-rconc
[@1: Gary is furry.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Gary" "is" "furry" "-")
Harry is cold.
Unknown
random
[@0: Harry is cold.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "cold" "+")
@0: Gary is rough.[(triple1)] Harry is green.[(triple2 OR ((((triple3) -> rule7)) -> rule1))] Harry is round.[(triple3)] @1: Gary is big.[(((triple1) -> rule5))] Gary is cold.[(((triple1) -> rule8))] Harry is big.[(((triple3) -> rule7))]
Gary is rough.
("Gary" "is" "rough" "+")
triple1
Harry is green.
("Harry" "is" "green" "+")
triple2
((((triple3) -> (rule7 % int2))) -> (rule1 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
triple3
Gary is big.
("Gary" "is" "big" "+")
((triple1) -> (rule5 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
((triple1) -> (rule8 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
((triple3) -> (rule7 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1