Bob is not big. Bob is cold. Bob is furry. Bob is young. Dave is big. Dave is not cold. Dave is nice. Gary is big. Gary is young. Harry is cold. All cold people are kind. If someone is round then they are big. All kind people are young. If Gary is kind and Gary is not round then Gary is young. If someone is young and not kind then they are nice. All round people are not furry. If someone is cold and not young then they are furry. If Gary is furry then Gary is big.
Bob is not big.
("Bob" "is" "big" "-")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is furry.
("Bob" "is" "furry" "+")
Bob is young.
("Bob" "is" "young" "+")
Dave is big.
("Dave" "is" "big" "+")
Dave is not cold.
("Dave" "is" "cold" "-")
Dave is nice.
("Dave" "is" "nice" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is young.
("Gary" "is" "young" "+")
Harry is cold.
("Harry" "is" "cold" "+")
All cold people are kind.
((("someone" "is" "cold" "+")) -> ("someone" "is" "kind" "+"))
If someone is round then they are big.
((("someone" "is" "round" "+")) -> ("someone" "is" "big" "+"))
All kind people are young.
((("someone" "is" "kind" "+")) -> ("someone" "is" "young" "+"))
If Gary is kind and Gary is not round then Gary is young.
((("Gary" "is" "kind" "+") ("Gary" "is" "round" "~")) -> ("Gary" "is" "young" "+"))
If someone is young and not kind then they are nice.
((("someone" "is" "young" "+") ("someone" "is" "kind" "~")) -> ("someone" "is" "nice" "+"))
All round people are not furry.
((("someone" "is" "round" "+")) -> ("someone" "is" "furry" "-"))
If someone is cold and not young then they are furry.
((("someone" "is" "cold" "+") ("someone" "is" "young" "~")) -> ("someone" "is" "furry" "+"))
If Gary is furry then Gary is big.
((("Gary" "is" "furry" "+")) -> ("Gary" "is" "big" "+"))
Dave is nice.
True
1
proof
[(triple7)]
("Dave" "is" "nice" "+")
triple7
Gary is not big.
False
1
inv-proof
[(triple8)]
("Gary" "is" "big" "-")
triple8
Harry is not big.
Unknown
inv-rconc
[@1: Harry is big.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Harry" "is" "big" "-")
Gary is cold.
Unknown
random
[@0: Gary is cold.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "cold" "+")
@0: Bob is cold.[(triple2)] Bob is furry.[(triple3)] Bob is not big.[(triple1)] Bob is young.[(triple4 OR ((((triple2) -> rule1)) -> rule3))] Dave is big.[(triple5)] Dave is nice.[(triple7)] Dave is not cold.[(triple6)] Gary is big.[(triple8)] Gary is young.[(triple9)] Harry is cold.[(triple10)] @1: Bob is kind.[(((triple2) -> rule1))] Harry is kind.[(((triple10) -> rule1))] @2: Harry is young.[(((((triple10) -> rule1)) -> rule3))]
Bob is cold.
("Bob" "is" "cold" "+")
triple2
Bob is furry.
("Bob" "is" "furry" "+")
triple3
Bob is not big.
("Bob" "is" "big" "-")
triple1
Bob is young.
("Bob" "is" "young" "+")
triple4
((((triple2) -> (rule1 % int2))) -> (rule3 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
triple5
Dave is nice.
("Dave" "is" "nice" "+")
triple7
Dave is not cold.
("Dave" "is" "cold" "-")
triple6
Gary is big.
("Gary" "is" "big" "+")
triple8
Gary is young.
("Gary" "is" "young" "+")
triple9
Harry is cold.
("Harry" "is" "cold" "+")
triple10
Bob is kind.
("Bob" "is" "kind" "+")
((triple2) -> (rule1 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
((triple10) -> (rule1 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
((((triple10) -> (rule1 % int2))) -> (rule3 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2