Harry is cold. Harry is not green. Harry is round. If someone is round and not green then they are big. If someone is cold then they are not quiet. Quiet, big people are rough. If someone is round and not cold then they are rough. If Harry is rough and Harry is quiet then Harry is big. All rough, quiet people are round.
Harry is cold.
("Harry" "is" "cold" "+")
Harry is not green.
("Harry" "is" "green" "-")
Harry is round.
("Harry" "is" "round" "+")
If someone is round and not green then they are big.
((("someone" "is" "round" "+") ("someone" "is" "green" "~")) -> ("someone" "is" "big" "+"))
If someone is cold then they are not quiet.
((("someone" "is" "cold" "+")) -> ("someone" "is" "quiet" "-"))
Quiet, big people are rough.
((("someone" "is" "quiet" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "rough" "+"))
If someone is round and not cold then they are rough.
((("someone" "is" "round" "+") ("someone" "is" "cold" "~")) -> ("someone" "is" "rough" "+"))
If Harry is rough and Harry is quiet then Harry is big.
((("Harry" "is" "rough" "+") ("Harry" "is" "quiet" "+")) -> ("Harry" "is" "big" "+"))
All rough, quiet people are round.
((("someone" "is" "rough" "+") ("someone" "is" "quiet" "+")) -> ("someone" "is" "round" "+"))
Harry is not green.
True
1
proof
[(triple2)]
("Harry" "is" "green" "-")
triple2
Harry is not round.
False
1
inv-proof
[(triple3)]
("Harry" "is" "round" "-")
triple3
Harry is big.
True
3
proof
[(((triple3 triple2) -> rule1))]
("Harry" "is" "big" "+")
((triple3 triple2) -> (rule1 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is not big.
False
3
inv-proof
[(((triple3 triple2) -> rule1))]
("Harry" "is" "big" "-")
((triple3 triple2) -> (rule1 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is not rough.
Unknown
inv-rconc
[@1: Harry is rough.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Harry" "is" "rough" "-")
Harry is nice.
Unknown
random
[@0: Harry is nice.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "nice" "+")
@0: Harry is cold.[(triple1)] Harry is not green.[(triple2)] Harry is round.[(triple3)] @1: Harry is big.[(((triple3 triple2) -> rule1))] Harry is not quiet.[(((triple1) -> rule2))]
Harry is cold.
("Harry" "is" "cold" "+")
triple1
Harry is not green.
("Harry" "is" "green" "-")
triple2
Harry is round.
("Harry" "is" "round" "+")
triple3
Harry is big.
("Harry" "is" "big" "+")
((triple3 triple2) -> (rule1 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is not quiet.
("Harry" "is" "quiet" "-")
((triple1) -> (rule2 % int1))
Harry is not quiet.
("Harry" "is" "quiet" "-")
int1