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