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