Harry is furry. Harry is nice. Harry is white. If Harry is white then Harry is not young. If Harry is big and Harry is white then Harry is blue. Young, furry people are blue. If someone is young then they are big. If someone is big then they are not cold. If Harry is furry then Harry is cold.
Harry is furry.
("Harry" "is" "furry" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is white.
("Harry" "is" "white" "+")
If Harry is white then Harry is not young.
((("Harry" "is" "white" "+")) -> ("Harry" "is" "young" "-"))
If Harry is big and Harry is white then Harry is blue.
((("Harry" "is" "big" "+") ("Harry" "is" "white" "+")) -> ("Harry" "is" "blue" "+"))
Young, furry people are blue.
((("someone" "is" "young" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "blue" "+"))
If someone is young then they are big.
((("someone" "is" "young" "+")) -> ("someone" "is" "big" "+"))
If someone is big then they are not cold.
((("someone" "is" "big" "+")) -> ("someone" "is" "cold" "-"))
If Harry is furry then Harry is cold.
((("Harry" "is" "furry" "+")) -> ("Harry" "is" "cold" "+"))
Harry is nice.
True
1
proof
[(triple2)]
("Harry" "is" "nice" "+")
triple2
Harry is not white.
False
1
inv-proof
[(triple3)]
("Harry" "is" "white" "-")
triple3
Harry is not young.
True
2
proof
[(((triple3) -> rule1))]
("Harry" "is" "young" "-")
((triple3) -> (rule1 % int1))
Harry is not young.
("Harry" "is" "young" "-")
int1
Harry is young.
False
2
inv-proof
[(((triple3) -> rule1))]
("Harry" "is" "young" "+")
((triple3) -> (rule1 % int1))
Harry is not young.
("Harry" "is" "young" "-")
int1
Harry is not blue.
Unknown
inv-rconc
[@2: Harry is blue.[CWA. Example of deepest failure = (rule2 <- rule4 <- FAIL)]]
("Harry" "is" "blue" "-")
Harry is big.
Unknown
rconc
[@1: Harry is big.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Harry" "is" "big" "+")
@0: Harry is furry.[(triple1)] Harry is nice.[(triple2)] Harry is white.[(triple3)] @1: Harry is cold.[(((triple1) -> rule6))] Harry is not young.[(((triple3) -> rule1))]
Harry is furry.
("Harry" "is" "furry" "+")
triple1
Harry is nice.
("Harry" "is" "nice" "+")
triple2
Harry is white.
("Harry" "is" "white" "+")
triple3
Harry is cold.
("Harry" "is" "cold" "+")
((triple1) -> (rule6 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is not young.
("Harry" "is" "young" "-")
((triple3) -> (rule1 % int1))
Harry is not young.
("Harry" "is" "young" "-")
int1