When you talk about Bob, the first thing you notice is his rough and cold demeanor and then when you talk to him you find out how very nice he really is to everyone. Most everyone considers Dave a rough fellow, but very kind. He's often categorized as blue, and he's big. Gary was born only a few years ago so he is young. People that are big and cold are blue as well. A human that's cold also means they are a human that is young. Nobody who is round and rough and big can keep themselves from being nice. A person that is known to be big and rough is also green, they will feel blue about it. Being blue, cold, and rough must be very trying. At least they are also big. A young, cold person is often blue.
Bob is rough.
("Bob" "is" "rough" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Dave is big.
("Dave" "is" "big" "+")
Gary is young.
("Gary" "is" "young" "+")
If someone is big and cold then they are blue.
((("someone" "is" "big" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "blue" "+"))
If someone is cold then they are young.
((("someone" "is" "cold" "+")) -> ("someone" "is" "young" "+"))
If someone is round and rough and big then they are nice.
((("someone" "is" "round" "+") ("someone" "is" "rough" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "nice" "+"))
If someone is big and rough and green then they are blue.
((("someone" "is" "big" "+") ("someone" "is" "rough" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "blue" "+"))
If someone is blue and cold and rough then they are big.
((("someone" "is" "blue" "+") ("someone" "is" "cold" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "big" "+"))
If someone is cold and young then they are blue.
((("someone" "is" "cold" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "blue" "+"))
Gary is young.
True
1
proof
[(triple8)]
("Gary" "is" "young" "+")
triple8
Dave is not blue.
False
1
inv-proof
[(triple6)]
("Dave" "is" "blue" "-")
triple6
Bob is young.
True
2
proof
[(((triple3) -> rule2))]
("Bob" "is" "young" "+")
((triple3) -> (rule2 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is not young.
False
2
inv-proof
[(((triple3) -> rule2))]
("Bob" "is" "young" "-")
((triple3) -> (rule2 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is blue.
True
4
proof
[(((triple3 ((triple3) -> rule2)) -> rule6))]
("Bob" "is" "blue" "+")
((triple3 ((triple3) -> (rule2 % int2))) -> (rule6 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is not blue.
False
4
inv-proof
[(((triple3 ((triple3) -> rule2)) -> rule6))]
("Bob" "is" "blue" "-")
((triple3 ((triple3) -> (rule2 % int2))) -> (rule6 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is big.
True
7
proof
[(((((triple3 ((triple3) -> rule2)) -> rule6) triple3 triple1) -> rule5))]
("Bob" "is" "big" "+")
((((triple3 ((triple3) -> (rule2 % int3))) -> (rule6 % int2)) triple3 triple1) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is not big.
False
7
inv-proof
[(((((triple3 ((triple3) -> rule2)) -> rule6) triple3 triple1) -> rule5))]
("Bob" "is" "big" "-")
((((triple3 ((triple3) -> (rule2 % int3))) -> (rule6 % int2)) triple3 triple1) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Harry is not big.
Unknown
inv-rconc
[@1: Harry is big.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Harry" "is" "big" "-")
Gary is blue.
Unknown
rconc
[@1: Gary is blue.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "blue" "+")
Gary is not nice.
Unknown
inv-rconc
[@1: Gary is nice.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Gary" "is" "nice" "-")
Harry is nice.
Unknown
rconc
[@1: Harry is nice.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Harry" "is" "nice" "+")
Harry is not cold.
Unknown
inv-random
[@0: Harry is cold.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "cold" "-")
Dave is green.
Unknown
random
[@0: Dave is green.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "green" "+")
Gary is not red.
Unknown
inv-random
[@0: Gary is red.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "red" "-")
Bob is kind.
Unknown
random
[@0: Bob is kind.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "kind" "+")
@0: Bob is cold.[(triple3)] Bob is nice.[(triple2)] Bob is rough.[(triple1)] Dave is big.[(triple7)] Dave is blue.[(triple6)] Dave is kind.[(triple5)] Dave is rough.[(triple4)] Gary is young.[(triple8)] @1: Bob is young.[(((triple3) -> rule2))] @2: Bob is blue.[(((triple3 ((triple3) -> rule2)) -> rule6))] @3: Bob is big.[(((((triple3 ((triple3) -> rule2)) -> rule6) triple3 triple1) -> rule5))]
Bob is cold.
("Bob" "is" "cold" "+")
triple3
Bob is nice.
("Bob" "is" "nice" "+")
triple2
Bob is rough.
("Bob" "is" "rough" "+")
triple1
Dave is big.
("Dave" "is" "big" "+")
triple7
Dave is blue.
("Dave" "is" "blue" "+")
triple6
Dave is kind.
("Dave" "is" "kind" "+")
triple5
Dave is rough.
("Dave" "is" "rough" "+")
triple4
Gary is young.
("Gary" "is" "young" "+")
triple8
Bob is young.
("Bob" "is" "young" "+")
((triple3) -> (rule2 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
((triple3 ((triple3) -> (rule2 % int2))) -> (rule6 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
((((triple3 ((triple3) -> (rule2 % int3))) -> (rule6 % int2)) triple3 triple1) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
When you talk about Bob, the first thing you notice is his rough and cold demeanor and then when you talk to him you find out how very nice he really is to everyone.
Most everyone considers Dave a rough fellow, but very kind; He's often categorized as blue, and he's big.
Gary was born only a few years ago so he is young.
People that are big and cold are blue as well.
A human that's cold also means they are a human that is young.
Nobody who is round and rough and big can keep themselves from being nice.
A person that is known to be big and rough is also green, they will feel blue about it.
Being blue, cold, and rough must be very trying; At least they are also big.
A young, cold person is often blue.