Bob is a kind and red colored guy. You should meet Eric, he is big and rough on the football field but also very young in age. To be young and red like Gary is pretty nice, which Green Gary is also. A male or female with rough, kind and round traits will surely have a nice quality, as well. When someone is young they can be nice and kind, but green in society. If a person behaves in a nice way while they are physically blue and big, they're definitely round. Looking blue can be a sign that someone is cold. A big and rough person who is blue is also considered to be green. A young, big sized person will certainly be a kind one. Most big and kind people,though young,are often blue.
Bob is red.
("Bob" "is" "red" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Eric is young.
("Eric" "is" "young" "+")
Eric is rough.
("Eric" "is" "rough" "+")
Eric is big.
("Eric" "is" "big" "+")
Gary is young.
("Gary" "is" "young" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is green.
("Gary" "is" "green" "+")
If someone is rough and kind and round then they are nice.
((("someone" "is" "rough" "+") ("someone" "is" "kind" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "nice" "+"))
If someone is kind and nice and young then they are green.
((("someone" "is" "kind" "+") ("someone" "is" "nice" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "green" "+"))
If someone is nice and blue and big then they are round.
((("someone" "is" "nice" "+") ("someone" "is" "blue" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "round" "+"))
If someone is blue then they are cold.
((("someone" "is" "blue" "+")) -> ("someone" "is" "cold" "+"))
If someone is rough and big and blue then they are green.
((("someone" "is" "rough" "+") ("someone" "is" "big" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "green" "+"))
If someone is young and big then they are kind.
((("someone" "is" "young" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "kind" "+"))
If someone is big and kind and young then they are blue.
((("someone" "is" "big" "+") ("someone" "is" "kind" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "blue" "+"))
Gary is young.
True
1
proof
[(triple6)]
("Gary" "is" "young" "+")
triple6
Gary is not young.
False
1
inv-proof
[(triple6)]
("Gary" "is" "young" "-")
triple6
Eric is kind.
True
3
proof
[(((triple3 triple5) -> rule6))]
("Eric" "is" "kind" "+")
((triple3 triple5) -> (rule6 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Eric is not kind.
False
3
inv-proof
[(((triple3 triple5) -> rule6))]
("Eric" "is" "kind" "-")
((triple3 triple5) -> (rule6 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Eric is blue.
True
6
proof
[(((triple5 ((triple3 triple5) -> rule6) triple3) -> rule7))]
("Eric" "is" "blue" "+")
((triple5 ((triple3 triple5) -> (rule6 % int2)) triple3) -> (rule7 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
int2
Eric is not blue.
False
6
inv-proof
[(((triple5 ((triple3 triple5) -> rule6) triple3) -> rule7))]
("Eric" "is" "blue" "-")
((triple5 ((triple3 triple5) -> (rule6 % int2)) triple3) -> (rule7 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
int2
Eric is green.
True
9
proof
[(((triple4 triple5 ((triple5 ((triple3 triple5) -> rule6) triple3) -> rule7)) -> rule5))]
("Eric" "is" "green" "+")
((triple4 triple5 ((triple5 ((triple3 triple5) -> (rule6 % int3)) triple3) -> (rule7 % int2))) -> (rule5 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
int2
Eric is kind.
("Eric" "is" "kind" "+")
int3
Eric is not green.
False
9
inv-proof
[(((triple4 triple5 ((triple5 ((triple3 triple5) -> rule6) triple3) -> rule7)) -> rule5))]
("Eric" "is" "green" "-")
((triple4 triple5 ((triple5 ((triple3 triple5) -> (rule6 % int3)) triple3) -> (rule7 % int2))) -> (rule5 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
int2
Eric is kind.
("Eric" "is" "kind" "+")
int3
Eric is not round.
Unknown
inv-rconc
[@2: Eric is round.[CWA. Example of deepest failure = (rule3 <- rule1 <- FAIL)]]
("Eric" "is" "round" "-")
Bob is green.
Unknown
rconc
[@1: Bob is green.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "green" "+")
Bob is not cold.
Unknown
inv-rconc
[@2: Bob is cold.[CWA. Example of deepest failure = (rule4 <- rule7 <- FAIL)]]
("Bob" "is" "cold" "-")
Gary is kind.
Unknown
rconc
[@1: Gary is kind.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Gary" "is" "kind" "+")
Dave is not red.
Unknown
inv-random
[@0: Dave is red.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "red" "-")
Bob is big.
Unknown
random
[@0: Bob is big.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "big" "+")
Dave is not young.
Unknown
inv-random
[@0: Dave is young.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "young" "-")
Gary is big.
Unknown
random
[@0: Gary is big.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "big" "+")
@0: Bob is kind.[(triple2)] Bob is red.[(triple1)] Eric is big.[(triple5)] Eric is rough.[(triple4)] Eric is young.[(triple3)] Gary is green.[(triple9)] Gary is nice.[(triple8)] Gary is red.[(triple7)] Gary is young.[(triple6)] @1: Eric is kind.[(((triple3 triple5) -> rule6))] @2: Eric is blue.[(((triple5 ((triple3 triple5) -> rule6) triple3) -> rule7))] @3: Eric is cold.[(((((triple5 ((triple3 triple5) -> rule6) triple3) -> rule7)) -> rule4))] Eric is green.[(((triple4 triple5 ((triple5 ((triple3 triple5) -> rule6) triple3) -> rule7)) -> rule5))]
Bob is kind.
("Bob" "is" "kind" "+")
triple2
Bob is red.
("Bob" "is" "red" "+")
triple1
Eric is big.
("Eric" "is" "big" "+")
triple5
Eric is rough.
("Eric" "is" "rough" "+")
triple4
Eric is young.
("Eric" "is" "young" "+")
triple3
Gary is green.
("Gary" "is" "green" "+")
triple9
Gary is nice.
("Gary" "is" "nice" "+")
triple8
Gary is red.
("Gary" "is" "red" "+")
triple7
Gary is young.
("Gary" "is" "young" "+")
triple6
Eric is kind.
("Eric" "is" "kind" "+")
((triple3 triple5) -> (rule6 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
((triple5 ((triple3 triple5) -> (rule6 % int2)) triple3) -> (rule7 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
int2
Eric is cold.
("Eric" "is" "cold" "+")
((((triple5 ((triple3 triple5) -> (rule6 % int3)) triple3) -> (rule7 % int2))) -> (rule4 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
int2
Eric is kind.
("Eric" "is" "kind" "+")
int3
Eric is green.
("Eric" "is" "green" "+")
((triple4 triple5 ((triple5 ((triple3 triple5) -> (rule6 % int3)) triple3) -> (rule7 % int2))) -> (rule5 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
int2
Eric is kind.
("Eric" "is" "kind" "+")
int3
Bob is a kind and red colored guy.
You should meet Eric, he is big and rough on the football field but also very young in age.
To be young and red like Gary is pretty nice, which Green Gary is also.
A male or female with rough, kind and round traits will surely have a nice quality, as well.
When someone is young they can be nice and kind, but green in society.
If a person behaves in a nice way while they are physically blue and big, they're definitely round.
Looking blue can be a sign that someone is cold.
A big and rough person who is blue is also considered to be green.
A young, big sized person will certainly be a kind one.
Most big and kind people,though young,are often blue.