You should meet Bob, he is big and rough on the football field but also very young in age. Charlie grew up in a family with six other boys and that make him a rough guy.  Right now he's feeling blue because his dog is sick. Fred grew up in a family with six other boys and that make him a rough guy.  Right now he's feeling blue because his dog is sick. Gary is round shaped and green colored. If you find someone who is kind, big in personality and looks a little green, then you can bet that they are cold. It's been proven that red, rough people are green as well. A young person with cold, rough skin will be red as well. You will find most green,cold and blue people to be rough. When someone is big, young and rough, they can be cold.
Bob is young.
("Bob" "is" "young" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is big.
("Bob" "is" "big" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Fred is rough.
("Fred" "is" "rough" "+")
Fred is blue.
("Fred" "is" "blue" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is green.
("Gary" "is" "green" "+")
If someone is big and green and kind then they are cold.
((("someone" "is" "big" "+") ("someone" "is" "green" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "cold" "+"))
If someone is red and rough then they are green.
((("someone" "is" "red" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "green" "+"))
If someone is young and rough and cold then they are red.
((("someone" "is" "young" "+") ("someone" "is" "rough" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "red" "+"))
If someone is green and cold and blue then they are rough.
((("someone" "is" "green" "+") ("someone" "is" "cold" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "rough" "+"))
If someone is rough and young and big then they are cold.
((("someone" "is" "rough" "+") ("someone" "is" "young" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "cold" "+"))
Charlie is rough.
True
1
proof
[(triple4)]
("Charlie" "is" "rough" "+")
triple4
Charlie is not rough.
False
1
inv-proof
[(triple4)]
("Charlie" "is" "rough" "-")
triple4
Bob is cold.
True
4
proof
[(((triple2 triple1 triple3) -> rule5))]
("Bob" "is" "cold" "+")
((triple2 triple1 triple3) -> (rule5 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is not cold.
False
4
inv-proof
[(((triple2 triple1 triple3) -> rule5))]
("Bob" "is" "cold" "-")
((triple2 triple1 triple3) -> (rule5 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is red.
True
7
proof
[(((triple1 triple2 ((triple2 triple1 triple3) -> rule5)) -> rule3))]
("Bob" "is" "red" "+")
((triple1 triple2 ((triple2 triple1 triple3) -> (rule5 % int2))) -> (rule3 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is not red.
False
7
inv-proof
[(((triple1 triple2 ((triple2 triple1 triple3) -> rule5)) -> rule3))]
("Bob" "is" "red" "-")
((triple1 triple2 ((triple2 triple1 triple3) -> (rule5 % int2))) -> (rule3 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is green.
True
9
proof
[(((((triple1 triple2 ((triple2 triple1 triple3) -> rule5)) -> rule3) triple2) -> rule2))]
("Bob" "is" "green" "+")
((((triple1 triple2 ((triple2 triple1 triple3) -> (rule5 % int3))) -> (rule3 % int2)) triple2) -> (rule2 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is not green.
False
9
inv-proof
[(((((triple1 triple2 ((triple2 triple1 triple3) -> rule5)) -> rule3) triple2) -> rule2))]
("Bob" "is" "green" "-")
((((triple1 triple2 ((triple2 triple1 triple3) -> (rule5 % int3))) -> (rule3 % int2)) triple2) -> (rule2 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Charlie is not green.
Unknown
inv-rconc
[@2: Charlie is green.[CWA. Example of deepest failure = (rule2 <- rule3 <- FAIL)]]
("Charlie" "is" "green" "-")
Fred is red.
Unknown
rconc
[@1: Fred is red.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Fred" "is" "red" "+")
Charlie is not cold.
Unknown
inv-rconc
[@1: Charlie is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "cold" "-")
Gary is red.
Unknown
rconc
[@1: Gary is red.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Gary" "is" "red" "+")
Bob is not kind.
Unknown
inv-random
[@0: Bob is kind.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "kind" "-")
Charlie is young.
Unknown
random
[@0: Charlie is young.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "young" "+")
Gary is not big.
Unknown
inv-random
[@0: Gary is big.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "big" "-")
Gary is kind.
Unknown
random
[@0: Gary is kind.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "kind" "+")
@0: Bob is big.[(triple3)] Bob is rough.[(triple2)] Bob is young.[(triple1)] Charlie is blue.[(triple5)] Charlie is rough.[(triple4)] Fred is blue.[(triple7)] Fred is rough.[(triple6)] Gary is green.[(triple9)] Gary is round.[(triple8)] @1: Bob is cold.[(((triple2 triple1 triple3) -> rule5))] @2: Bob is red.[(((triple1 triple2 ((triple2 triple1 triple3) -> rule5)) -> rule3))] @3: Bob is green.[(((((triple1 triple2 ((triple2 triple1 triple3) -> rule5)) -> rule3) triple2) -> rule2))]
Bob is big.
("Bob" "is" "big" "+")
triple3
Bob is rough.
("Bob" "is" "rough" "+")
triple2
Bob is young.
("Bob" "is" "young" "+")
triple1
Charlie is blue.
("Charlie" "is" "blue" "+")
triple5
Charlie is rough.
("Charlie" "is" "rough" "+")
triple4
Fred is blue.
("Fred" "is" "blue" "+")
triple7
Fred is rough.
("Fred" "is" "rough" "+")
triple6
Gary is green.
("Gary" "is" "green" "+")
triple9
Gary is round.
("Gary" "is" "round" "+")
triple8
Bob is cold.
("Bob" "is" "cold" "+")
((triple2 triple1 triple3) -> (rule5 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
((triple1 triple2 ((triple2 triple1 triple3) -> (rule5 % int2))) -> (rule3 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
((((triple1 triple2 ((triple2 triple1 triple3) -> (rule5 % int3))) -> (rule3 % int2)) triple2) -> (rule2 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
You should meet Bob, he is big and rough on the football field but also very young in age.
Charlie grew up in a family with six other boys and that make him a rough guy; Right now he's feeling blue because his dog is sick.
Fred grew up in a family with six other boys and that make him a rough guy; Right now he's feeling blue because his dog is sick.
Gary is round shaped and green colored.
If you find someone who is kind, big in personality and looks a little green, then you can bet that they are cold.
It's been proven that red, rough people are green as well.
A young person with cold, rough skin will be red as well.
You will find most green,cold and blue people to be rough.
When someone is big, young and rough, they can be cold.