Anne is furry. Harry is rough. All furry people are kind. All furry people are big. All green, kind people are nice. Green people are rough. All rough people are white. If Harry is nice then Harry is big. If someone is rough and big then they are green. All white, rough people are big.
Anne is furry.
("Anne" "is" "furry" "+")
Harry is rough.
("Harry" "is" "rough" "+")
All furry people are kind.
((("someone" "is" "furry" "+")) -> ("someone" "is" "kind" "+"))
All furry people are big.
((("someone" "is" "furry" "+")) -> ("someone" "is" "big" "+"))
All green, kind people are nice.
((("someone" "is" "green" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "nice" "+"))
Green people are rough.
((("someone" "is" "green" "+")) -> ("someone" "is" "rough" "+"))
All rough people are white.
((("someone" "is" "rough" "+")) -> ("someone" "is" "white" "+"))
If Harry is nice then Harry is big.
((("Harry" "is" "nice" "+")) -> ("Harry" "is" "big" "+"))
If someone is rough and big then they are green.
((("someone" "is" "rough" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "green" "+"))
All white, rough people are big.
((("someone" "is" "white" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "big" "+"))
Harry is rough.
True
1
proof
[(triple2)]
("Harry" "is" "rough" "+")
triple2
Anne is not furry.
False
1
inv-proof
[(triple1)]
("Anne" "is" "furry" "-")
triple1
Harry is not nice.
Unknown
inv-rconc
[@2: Harry is nice.[CWA. Example of deepest failure = (rule3 <- rule1 <- FAIL)]]
("Harry" "is" "nice" "-")
Harry is furry.
Unknown
random
[@0: Harry is furry.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "furry" "+")
@0: Anne is furry.[(triple1)] Harry is rough.[(triple2)] @1: Anne is big.[(((triple1) -> rule2))] Anne is kind.[(((triple1) -> rule1))] Harry is white.[(((triple2) -> rule5))] @2: Harry is big.[(((((triple2) -> rule5) triple2) -> rule8))] @3: Harry is green.[(((triple2 ((((triple2) -> rule5) triple2) -> rule8)) -> rule7))]
Anne is furry.
("Anne" "is" "furry" "+")
triple1
Harry is rough.
("Harry" "is" "rough" "+")
triple2
Anne is big.
("Anne" "is" "big" "+")
((triple1) -> (rule2 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
((triple1) -> (rule1 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
((triple2) -> (rule5 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
((((triple2) -> (rule5 % int2)) triple2) -> (rule8 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
((triple2 ((((triple2) -> (rule5 % int3)) triple2) -> (rule8 % int2))) -> (rule7 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3