Bob's a young guy. He's a cold, blue and big guy, too. Dave was kind despite being rough. And because he was so big, Dave constantly felt cold. That guy Fred is big, but he's always kind to little ones. Gary was born only a few years ago so he is young. Big, kind people that are rough are known for being red. A round and nice person will certainly have a red tint to them. People who are nice but a rough around the edges and turn red in the fun feel sad and blue. Rough people are often always nice. Anyone that is nice and kind and also green will usually be young as well. Young people are rough. Take a drive and find a kind and blue driver, that means they are also young.
Bob is young.
("Bob" "is" "young" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Bob is big.
("Bob" "is" "big" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is big.
("Dave" "is" "big" "+")
Fred is kind.
("Fred" "is" "kind" "+")
Fred is big.
("Fred" "is" "big" "+")
Gary is young.
("Gary" "is" "young" "+")
If someone is big and kind and rough then they are red.
((("someone" "is" "big" "+") ("someone" "is" "kind" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "red" "+"))
If someone is round and nice then they are red.
((("someone" "is" "round" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "red" "+"))
If someone is rough and nice and red then they are blue.
((("someone" "is" "rough" "+") ("someone" "is" "nice" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "blue" "+"))
If someone is rough then they are nice.
((("someone" "is" "rough" "+")) -> ("someone" "is" "nice" "+"))
If someone is green and nice and kind then they are young.
((("someone" "is" "green" "+") ("someone" "is" "nice" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "young" "+"))
If someone is young then they are rough.
((("someone" "is" "young" "+")) -> ("someone" "is" "rough" "+"))
If someone is kind and blue then they are young.
((("someone" "is" "kind" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "young" "+"))
Dave is rough.
True
1
proof
[(triple5)]
("Dave" "is" "rough" "+")
triple5
Bob is not young.
False
1
inv-proof
[(triple1)]
("Bob" "is" "young" "-")
triple1
Gary is rough.
True
2
proof
[(((triple11) -> rule6))]
("Gary" "is" "rough" "+")
((triple11) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Dave is not nice.
False
2
inv-proof
[(((triple5) -> rule4))]
("Dave" "is" "nice" "-")
((triple5) -> (rule4 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Gary is nice.
True
3
proof
[(((((triple11) -> rule6)) -> rule4))]
("Gary" "is" "nice" "+")
((((triple11) -> (rule6 % int2))) -> (rule4 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Bob is not nice.
False
3
inv-proof
[(((((triple1) -> rule6)) -> rule4))]
("Bob" "is" "nice" "-")
((((triple1) -> (rule6 % int2))) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Dave is young.
True
10
proof
[(((triple6 ((triple5 ((triple5) -> rule4) ((triple8 triple6 triple5) -> rule1)) -> rule3)) -> rule7))]
("Dave" "is" "young" "+")
((triple6 ((triple5 ((triple5) -> (rule4 % int4)) ((triple8 triple6 triple5) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is nice.
("Dave" "is" "nice" "+")
int4
Dave is not young.
False
10
inv-proof
[(((triple6 ((triple5 ((triple5) -> rule4) ((triple8 triple6 triple5) -> rule1)) -> rule3)) -> rule7))]
("Dave" "is" "young" "-")
((triple6 ((triple5 ((triple5) -> (rule4 % int4)) ((triple8 triple6 triple5) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is nice.
("Dave" "is" "nice" "+")
int4
Bob is not red.
Unknown
inv-rconc
[@1: Bob is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "red" "-")
Fred is young.
Unknown
rconc
[@4: Fred is young.[CWA. Example of deepest failure = (rule7 <- rule3 <- rule6 <- rule5 <- FAIL)]]
("Fred" "is" "young" "+")
Fred is not nice.
Unknown
inv-rconc
[@4: Fred is nice.[CWA. Example of deepest failure = (rule4 <- rule6 <- rule7 <- rule3 <- FAIL)]]
("Fred" "is" "nice" "-")
Gary is red.
Unknown
rconc
[@1: Gary is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "red" "+")
Fred is not cold.
Unknown
inv-random
[@0: Fred is cold.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "cold" "-")
Bob is kind.
Unknown
random
[@0: Bob is kind.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "kind" "+")
Gary is not cold.
Unknown
inv-random
[@0: Gary is cold.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "cold" "-")
Bob is green.
Unknown
random
[@0: Bob is green.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "green" "+")
@0: Bob is big.[(triple4)] Bob is blue.[(triple3)] Bob is cold.[(triple2)] Bob is young.[(triple1)] Dave is big.[(triple8)] Dave is cold.[(triple7)] Dave is kind.[(triple6)] Dave is rough.[(triple5)] Fred is big.[(triple10)] Fred is kind.[(triple9)] Gary is young.[(triple11)] @1: Bob is rough.[(((triple1) -> rule6))] Dave is nice.[(((triple5) -> rule4))] Dave is red.[(((triple8 triple6 triple5) -> rule1))] Gary is rough.[(((triple11) -> rule6))] @2: Bob is nice.[(((((triple1) -> rule6)) -> rule4))] Dave is blue.[(((triple5 ((triple5) -> rule4) ((triple8 triple6 triple5) -> rule1)) -> rule3))] Gary is nice.[(((((triple11) -> rule6)) -> rule4))] @3: Dave is young.[(((triple6 ((triple5 ((triple5) -> rule4) ((triple8 triple6 triple5) -> rule1)) -> rule3)) -> rule7))]
Bob is big.
("Bob" "is" "big" "+")
triple4
Bob is blue.
("Bob" "is" "blue" "+")
triple3
Bob is cold.
("Bob" "is" "cold" "+")
triple2
Bob is young.
("Bob" "is" "young" "+")
triple1
Dave is big.
("Dave" "is" "big" "+")
triple8
Dave is cold.
("Dave" "is" "cold" "+")
triple7
Dave is kind.
("Dave" "is" "kind" "+")
triple6
Dave is rough.
("Dave" "is" "rough" "+")
triple5
Fred is big.
("Fred" "is" "big" "+")
triple10
Fred is kind.
("Fred" "is" "kind" "+")
triple9
Gary is young.
("Gary" "is" "young" "+")
triple11
Bob is rough.
("Bob" "is" "rough" "+")
((triple1) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
((triple5) -> (rule4 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
((triple8 triple6 triple5) -> (rule1 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
((triple11) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
((((triple1) -> (rule6 % int2))) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
((triple5 ((triple5) -> (rule4 % int3)) ((triple8 triple6 triple5) -> (rule1 % int2))) -> (rule3 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
((((triple11) -> (rule6 % int2))) -> (rule4 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
((triple6 ((triple5 ((triple5) -> (rule4 % int4)) ((triple8 triple6 triple5) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is nice.
("Dave" "is" "nice" "+")
int4
Bob's a young guy; He's a cold, blue and big guy, too.
Dave was kind despite being rough; And because he was so big, Dave constantly felt cold.
That guy Fred is big, but he's always kind to little ones.
Gary was born only a few years ago so he is young.
Big, kind people that are rough are known for being red.
A round and nice person will certainly have a red tint to them.
People who are nice but a rough around the edges and turn red in the fun feel sad and blue.
Rough people are often always nice.
Anyone that is nice and kind and also green will usually be young as well.
Young people are rough.
Take a drive and find a kind and blue driver, that means they are also young.