Big Bob, the most blue guy I know while also being cold. Charlie's a young guy. He's a cold, blue and big guy, too. Fred is a very kind, green but sometimes cold person. Gary is blue and cold. If someone is blue and rough, they always see red in others. All the big and young boys at the park are red. If someone is young at heart and has big toes as well as being nice to others then you'll see that they are also kind to children. People with blue and red skin color are also green. A person that is round, green, and blue is usually considered cold. People that are blue, cold, and big, are rather rough.
Bob is cold.
("Bob" "is" "cold" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Bob is big.
("Bob" "is" "big" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Fred is kind.
("Fred" "is" "kind" "+")
Fred is green.
("Fred" "is" "green" "+")
Fred is cold.
("Fred" "is" "cold" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is blue.
("Gary" "is" "blue" "+")
If someone is blue and rough then they are red.
((("someone" "is" "blue" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "red" "+"))
If someone is big and young then they are red.
((("someone" "is" "big" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "red" "+"))
If someone is young and big and nice then they are kind.
((("someone" "is" "young" "+") ("someone" "is" "big" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "kind" "+"))
If someone is blue and red then they are green.
((("someone" "is" "blue" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "green" "+"))
If someone is round and green and blue then they are cold.
((("someone" "is" "round" "+") ("someone" "is" "green" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "cold" "+"))
If someone is blue and cold and big then they are rough.
((("someone" "is" "blue" "+") ("someone" "is" "cold" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "rough" "+"))
Bob is big.
True
1
proof
[(triple3)]
("Bob" "is" "big" "+")
triple3
Bob is not blue.
False
1
inv-proof
[(triple2)]
("Bob" "is" "blue" "-")
triple2
Bob is rough.
True
4
proof
[(((triple2 triple1 triple3) -> rule6))]
("Bob" "is" "rough" "+")
((triple2 triple1 triple3) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is not rough.
False
4
inv-proof
[(((triple2 triple1 triple3) -> rule6))]
("Bob" "is" "rough" "-")
((triple2 triple1 triple3) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is red.
True
6
proof
[(((triple2 ((triple2 triple1 triple3) -> rule6)) -> rule1))]
("Bob" "is" "red" "+")
((triple2 ((triple2 triple1 triple3) -> (rule6 % int2))) -> (rule1 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is not red.
False
6
inv-proof
[(((triple2 ((triple2 triple1 triple3) -> rule6)) -> rule1))]
("Bob" "is" "red" "-")
((triple2 ((triple2 triple1 triple3) -> (rule6 % int2))) -> (rule1 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is green.
True
8
proof
[(((triple2 ((triple2 ((triple2 triple1 triple3) -> rule6)) -> rule1)) -> rule4))]
("Bob" "is" "green" "+")
((triple2 ((triple2 ((triple2 triple1 triple3) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is not green.
False
8
inv-proof
[(((triple2 ((triple2 ((triple2 triple1 triple3) -> rule6)) -> rule1)) -> rule4))]
("Bob" "is" "green" "-")
((triple2 ((triple2 ((triple2 triple1 triple3) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Charlie is not kind.
Unknown
inv-rconc
[@1: Charlie is kind.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Charlie" "is" "kind" "-")
Gary is red.
Unknown
rconc
[@2: Gary is red.[CWA. Example of deepest failure = (rule1 <- rule6 <- FAIL)]]
("Gary" "is" "red" "+")
Gary is not rough.
Unknown
inv-rconc
[@1: Gary is rough.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Gary" "is" "rough" "-")
Gary is kind.
Unknown
rconc
[@1: Gary is kind.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Gary" "is" "kind" "+")
Gary is not big.
Unknown
inv-random
[@0: Gary is big.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "big" "-")
Fred is nice.
Unknown
random
[@0: Fred is nice.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "nice" "+")
Charlie is not nice.
Unknown
inv-random
[@0: Charlie is nice.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "nice" "-")
Bob is nice.
Unknown
random
[@0: Bob is nice.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "nice" "+")
@0: Bob is big.[(triple3)] Bob is blue.[(triple2)] Bob is cold.[(triple1)] Charlie is big.[(triple7)] Charlie is blue.[(triple6)] Charlie is cold.[(triple5)] Charlie is young.[(triple4)] Fred is cold.[(triple10)] Fred is green.[(triple9)] Fred is kind.[(triple8)] Gary is blue.[(triple12)] Gary is cold.[(triple11)] @1: Bob is rough.[(((triple2 triple1 triple3) -> rule6))] Charlie is red.[(((triple7 triple4) -> rule2) OR ((triple6 ((triple6 triple5 triple7) -> rule6)) -> rule1))] Charlie is rough.[(((triple6 triple5 triple7) -> rule6))] @2: Bob is red.[(((triple2 ((triple2 triple1 triple3) -> rule6)) -> rule1))] Charlie is green.[(((triple6 ((triple7 triple4) -> rule2)) -> rule4) OR ((triple6 ((triple6 ((triple6 triple5 triple7) -> rule6)) -> rule1)) -> rule4))] @3: Bob is green.[(((triple2 ((triple2 ((triple2 triple1 triple3) -> rule6)) -> rule1)) -> rule4))]
Bob is big.
("Bob" "is" "big" "+")
triple3
Bob is blue.
("Bob" "is" "blue" "+")
triple2
Bob is cold.
("Bob" "is" "cold" "+")
triple1
Charlie is big.
("Charlie" "is" "big" "+")
triple7
Charlie is blue.
("Charlie" "is" "blue" "+")
triple6
Charlie is cold.
("Charlie" "is" "cold" "+")
triple5
Charlie is young.
("Charlie" "is" "young" "+")
triple4
Fred is cold.
("Fred" "is" "cold" "+")
triple10
Fred is green.
("Fred" "is" "green" "+")
triple9
Fred is kind.
("Fred" "is" "kind" "+")
triple8
Gary is blue.
("Gary" "is" "blue" "+")
triple12
Gary is cold.
("Gary" "is" "cold" "+")
triple11
Bob is rough.
("Bob" "is" "rough" "+")
((triple2 triple1 triple3) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
((triple7 triple4) -> (rule2 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
((triple6 ((triple6 triple5 triple7) -> (rule6 % int2))) -> (rule1 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
((triple6 triple5 triple7) -> (rule6 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
((triple2 ((triple2 triple1 triple3) -> (rule6 % int2))) -> (rule1 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
((triple6 ((triple7 triple4) -> (rule2 % int2))) -> (rule4 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
((triple6 ((triple6 ((triple6 triple5 triple7) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
((triple2 ((triple2 ((triple2 triple1 triple3) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Big Bob, the most blue guy I know while also being cold.
Charlie's a young guy; He's a cold, blue and big guy, too.
Fred is a very kind, green but sometimes cold person.
Gary is blue and cold.
If someone is blue and rough, they always see red in others.
All the big and young boys at the park are red.
If someone is young at heart and has big toes as well as being nice to others then you'll see that they are also kind to children.
People with blue and red skin color are also green.
A person that is round, green, and blue is usually considered cold.
People that are blue, cold, and big, are rather rough.