Harry is nice. Harry is round. Harry is young. If someone is smart and big then they are round. If Harry is round then Harry is big. If Harry is furry and Harry is green then Harry is big. If someone is round and furry then they are green. Smart, round people are big. Smart, furry people are green. If Harry is young then Harry is smart. All young people are nice.
Harry is nice.
("Harry" "is" "nice" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is young.
("Harry" "is" "young" "+")
If someone is smart and big then they are round.
((("someone" "is" "smart" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "round" "+"))
If Harry is round then Harry is big.
((("Harry" "is" "round" "+")) -> ("Harry" "is" "big" "+"))
If Harry is furry and Harry is green then Harry is big.
((("Harry" "is" "furry" "+") ("Harry" "is" "green" "+")) -> ("Harry" "is" "big" "+"))
If someone is round and furry then they are green.
((("someone" "is" "round" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "green" "+"))
Smart, round people are big.
((("someone" "is" "smart" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "big" "+"))
Smart, furry people are green.
((("someone" "is" "smart" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "green" "+"))
If Harry is young then Harry is smart.
((("Harry" "is" "young" "+")) -> ("Harry" "is" "smart" "+"))
All young people are nice.
((("someone" "is" "young" "+")) -> ("someone" "is" "nice" "+"))
Harry is round.
True
1
proof
[(triple2)]
("Harry" "is" "round" "+")
triple2
Harry is not round.
False
1
inv-proof
[(triple2)]
("Harry" "is" "round" "-")
triple2
Harry is not green.
Unknown
inv-rconc
[@1: Harry is green.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Harry" "is" "green" "-")
Harry is furry.
Unknown
random
[@0: Harry is furry.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "furry" "+")
@0: Harry is nice.[(triple1 OR ((triple3) -> rule8))] Harry is round.[(triple2)] Harry is young.[(triple3)] @1: Harry is big.[(((triple2) -> rule2) OR ((((triple3) -> rule7) triple2) -> rule5))] Harry is smart.[(((triple3) -> rule7))]
Harry is nice.
("Harry" "is" "nice" "+")
triple1
((triple3) -> (rule8 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
triple2
Harry is young.
("Harry" "is" "young" "+")
triple3
Harry is big.
("Harry" "is" "big" "+")
((triple2) -> (rule2 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
((((triple3) -> (rule7 % int2)) triple2) -> (rule5 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
((triple3) -> (rule7 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1