Bob is cold. Bob is furry. Bob is kind. Bob is rough. Bob is not smart. Bob is young. Gary is cold. Gary is young. Harry is blue. Harry is furry. Harry is rough. Harry is not smart. If someone is cold then they are furry.
Bob is cold.
("Bob" "is" "cold" "+")
Bob is furry.
("Bob" "is" "furry" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is not smart.
("Bob" "is" "smart" "-")
Bob is young.
("Bob" "is" "young" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is young.
("Gary" "is" "young" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is not smart.
("Harry" "is" "smart" "-")
If someone is cold then they are furry.
((("someone" "is" "cold" "+")) -> ("someone" "is" "furry" "+"))
Harry is not smart.
True
1
proof
[(triple12)]
("Harry" "is" "smart" "-")
triple12
Gary is not cold.
False
1
inv-proof
[(triple7)]
("Gary" "is" "cold" "-")
triple7
Gary is furry.
True
2
proof
[(((triple7) -> rule1))]
("Gary" "is" "furry" "+")
((triple7) -> (rule1 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is not furry.
False
2
inv-proof
[(((triple7) -> rule1))]
("Gary" "is" "furry" "-")
((triple7) -> (rule1 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is not kind.
Unknown
inv-random
[@0: Gary is kind.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "kind" "-")
Harry is young.
Unknown
random
[@0: Harry is young.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "young" "+")
Harry is not kind.
Unknown
inv-random
[@0: Harry is kind.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "kind" "-")
Harry is cold.
Unknown
random
[@0: Harry is cold.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "cold" "+")
@0: Bob is cold.[(triple1)] Bob is furry.[(triple2 OR ((triple1) -> rule1))] Bob is kind.[(triple3)] Bob is not smart.[(triple5)] Bob is rough.[(triple4)] Bob is young.[(triple6)] Gary is cold.[(triple7)] Gary is young.[(triple8)] Harry is blue.[(triple9)] Harry is furry.[(triple10)] Harry is not smart.[(triple12)] Harry is rough.[(triple11)] @1: Gary is furry.[(((triple7) -> rule1))]
Bob is cold.
("Bob" "is" "cold" "+")
triple1
Bob is furry.
("Bob" "is" "furry" "+")
triple2
((triple1) -> (rule1 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
triple3
Bob is not smart.
("Bob" "is" "smart" "-")
triple5
Bob is rough.
("Bob" "is" "rough" "+")
triple4
Bob is young.
("Bob" "is" "young" "+")
triple6
Gary is cold.
("Gary" "is" "cold" "+")
triple7
Gary is young.
("Gary" "is" "young" "+")
triple8
Harry is blue.
("Harry" "is" "blue" "+")
triple9
Harry is furry.
("Harry" "is" "furry" "+")
triple10
Harry is not smart.
("Harry" "is" "smart" "-")
triple12
Harry is rough.
("Harry" "is" "rough" "+")
triple11
Gary is furry.
("Gary" "is" "furry" "+")
((triple7) -> (rule1 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1