Gary is big. Harry is not kind. Green, big people are kind. Big people are not kind. If Harry is kind then Harry is cold. If someone is furry then they are cold. All nice, smart people are not cold. If someone is furry then they are not smart. Green, smart people are furry. If someone is big and not kind then they are furry.
Gary is big.
("Gary" "is" "big" "+")
Harry is not kind.
("Harry" "is" "kind" "-")
Green, big people are kind.
((("someone" "is" "green" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "kind" "+"))
Big people are not kind.
((("someone" "is" "big" "+")) -> ("someone" "is" "kind" "-"))
If Harry is kind then Harry is cold.
((("Harry" "is" "kind" "+")) -> ("Harry" "is" "cold" "+"))
If someone is furry then they are cold.
((("someone" "is" "furry" "+")) -> ("someone" "is" "cold" "+"))
All nice, smart people are not cold.
((("someone" "is" "nice" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "cold" "-"))
If someone is furry then they are not smart.
((("someone" "is" "furry" "+")) -> ("someone" "is" "smart" "-"))
Green, smart people are furry.
((("someone" "is" "green" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "furry" "+"))
If someone is big and not kind then they are furry.
((("someone" "is" "big" "+") ("someone" "is" "kind" "~")) -> ("someone" "is" "furry" "+"))
Harry is not kind.
True
1
proof
[(triple2)]
("Harry" "is" "kind" "-")
triple2
Gary is not big.
False
1
inv-proof
[(triple1)]
("Gary" "is" "big" "-")
triple1
Gary is not kind.
True
2
proof
[(((triple1) -> rule2))]
("Gary" "is" "kind" "-")
((triple1) -> (rule2 % int1))
Gary is not kind.
("Gary" "is" "kind" "-")
int1
Gary is kind.
False
2
inv-proof
[(((triple1) -> rule2))]
("Gary" "is" "kind" "+")
((triple1) -> (rule2 % int1))
Gary is not kind.
("Gary" "is" "kind" "-")
int1
Gary is furry.
True
4
proof
[(((triple1 ((triple1) -> rule2)) -> rule8))]
("Gary" "is" "furry" "+")
((triple1 ((triple1) -> (rule2 % int2))) -> (rule8 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is not kind.
("Gary" "is" "kind" "-")
int2
Gary is not furry.
False
4
inv-proof
[(((triple1 ((triple1) -> rule2)) -> rule8))]
("Gary" "is" "furry" "-")
((triple1 ((triple1) -> (rule2 % int2))) -> (rule8 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is not kind.
("Gary" "is" "kind" "-")
int2
Gary is cold.
True
5
proof
[(((((triple1 ((triple1) -> rule2)) -> rule8)) -> rule4))]
("Gary" "is" "cold" "+")
((((triple1 ((triple1) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is not kind.
("Gary" "is" "kind" "-")
int3
Gary is not cold.
False
5
inv-proof
[(((((triple1 ((triple1) -> rule2)) -> rule8)) -> rule4))]
("Gary" "is" "cold" "-")
((((triple1 ((triple1) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is not kind.
("Gary" "is" "kind" "-")
int3
Harry is not cold.
Unknown
inv-rconc
[@2: Harry is cold.[CWA. Example of deepest failure = (rule4 <- rule7 <- FAIL)]]
("Harry" "is" "cold" "-")
Harry is furry.
Unknown
rconc
[@1: Harry is furry.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Harry" "is" "furry" "+")
Harry is not nice.
Unknown
inv-random
[@0: Harry is nice.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "nice" "-")
Harry is green.
Unknown
random
[@0: Harry is green.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "green" "+")
Harry is not smart.
Unknown
inv-random
[@0: Harry is smart.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "smart" "-")
Harry is big.
Unknown
random
[@0: Harry is big.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "big" "+")
Gary is not nice.
Unknown
inv-random
[@0: Gary is nice.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "nice" "-")
Gary is green.
Unknown
random
[@0: Gary is green.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "green" "+")
@0: Gary is big.[(triple1)] Harry is not kind.[(triple2)] @1: Gary is not kind.[(((triple1) -> rule2))] @2: Gary is furry.[(((triple1 ((triple1) -> rule2)) -> rule8))] @3: Gary is cold.[(((((triple1 ((triple1) -> rule2)) -> rule8)) -> rule4))] Gary is not smart.[(((((triple1 ((triple1) -> rule2)) -> rule8)) -> rule6))]
Gary is big.
("Gary" "is" "big" "+")
triple1
Harry is not kind.
("Harry" "is" "kind" "-")
triple2
Gary is not kind.
("Gary" "is" "kind" "-")
((triple1) -> (rule2 % int1))
Gary is not kind.
("Gary" "is" "kind" "-")
int1
Gary is furry.
("Gary" "is" "furry" "+")
((triple1 ((triple1) -> (rule2 % int2))) -> (rule8 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is not kind.
("Gary" "is" "kind" "-")
int2
Gary is cold.
("Gary" "is" "cold" "+")
((((triple1 ((triple1) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is not kind.
("Gary" "is" "kind" "-")
int3
Gary is not smart.
("Gary" "is" "smart" "-")
((((triple1 ((triple1) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Gary is not smart.
("Gary" "is" "smart" "-")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is not kind.
("Gary" "is" "kind" "-")
int3