Bob is big and red, but he's young and will grow out of it. Charlie, who is a young, rough person, is also a kind and cold guy. Eric was born only a few years ago so he is young. There is a very nice young man with a round body who is wearing green named Fred. Kind and young people are round. When someone feels cold, while being big and rough, they always turn out to be red. If a big, red person with a round figure comes up to you, don't worry, they will be very nice. Anyone who is round and also cold will surely be big as well. A blue and green colored person will be round in shape.
Bob is young.
("Bob" "is" "young" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is big.
("Bob" "is" "big" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Eric is young.
("Eric" "is" "young" "+")
Fred is young.
("Fred" "is" "young" "+")
Fred is round.
("Fred" "is" "round" "+")
Fred is nice.
("Fred" "is" "nice" "+")
Fred is green.
("Fred" "is" "green" "+")
If someone is young and kind then they are round.
((("someone" "is" "young" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "round" "+"))
If someone is cold and big and rough then they are red.
((("someone" "is" "cold" "+") ("someone" "is" "big" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "red" "+"))
If someone is big and round and red then they are nice.
((("someone" "is" "big" "+") ("someone" "is" "round" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "nice" "+"))
If someone is round and cold then they are big.
((("someone" "is" "round" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "big" "+"))
If someone is blue and green then they are round.
((("someone" "is" "blue" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "round" "+"))
Charlie is rough.
True
1
proof
[(triple5)]
("Charlie" "is" "rough" "+")
triple5
Fred is not nice.
False
1
inv-proof
[(triple11)]
("Fred" "is" "nice" "-")
triple11
Charlie is round.
True
3
proof
[(((triple4 triple6) -> rule1))]
("Charlie" "is" "round" "+")
((triple4 triple6) -> (rule1 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is not round.
False
3
inv-proof
[(((triple4 triple6) -> rule1))]
("Charlie" "is" "round" "-")
((triple4 triple6) -> (rule1 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is big.
True
5
proof
[(((((triple4 triple6) -> rule1) triple7) -> rule4))]
("Charlie" "is" "big" "+")
((((triple4 triple6) -> (rule1 % int2)) triple7) -> (rule4 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is not big.
False
5
inv-proof
[(((((triple4 triple6) -> rule1) triple7) -> rule4))]
("Charlie" "is" "big" "-")
((((triple4 triple6) -> (rule1 % int2)) triple7) -> (rule4 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is red.
True
8
proof
[(((triple7 ((((triple4 triple6) -> rule1) triple7) -> rule4) triple5) -> rule2))]
("Charlie" "is" "red" "+")
((triple7 ((((triple4 triple6) -> (rule1 % int3)) triple7) -> (rule4 % int2)) triple5) -> (rule2 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Charlie is not red.
False
8
inv-proof
[(((triple7 ((((triple4 triple6) -> rule1) triple7) -> rule4) triple5) -> rule2))]
("Charlie" "is" "red" "-")
((triple7 ((((triple4 triple6) -> (rule1 % int3)) triple7) -> (rule4 % int2)) triple5) -> (rule2 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Charlie is nice.
True
17
proof
[(((((((triple4 triple6) -> rule1) triple7) -> rule4) ((triple4 triple6) -> rule1) ((triple7 ((((triple4 triple6) -> rule1) triple7) -> rule4) triple5) -> rule2)) -> rule3))]
("Charlie" "is" "nice" "+")
((((((triple4 triple6) -> (rule1 % int4)) triple7) -> (rule4 % int3)) ((triple4 triple6) -> (rule1 % int4)) ((triple7 ((((triple4 triple6) -> (rule1 % int4)) triple7) -> (rule4 % int3)) triple5) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
Charlie is not nice.
False
17
inv-proof
[(((((((triple4 triple6) -> rule1) triple7) -> rule4) ((triple4 triple6) -> rule1) ((triple7 ((((triple4 triple6) -> rule1) triple7) -> rule4) triple5) -> rule2)) -> rule3))]
("Charlie" "is" "nice" "-")
((((((triple4 triple6) -> (rule1 % int4)) triple7) -> (rule4 % int3)) ((triple4 triple6) -> (rule1 % int4)) ((triple7 ((((triple4 triple6) -> (rule1 % int4)) triple7) -> (rule4 % int3)) triple5) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
Fred is not big.
Unknown
inv-rconc
[@1: Fred is big.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Fred" "is" "big" "-")
Eric is big.
Unknown
rconc
[@1: Eric is big.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Eric" "is" "big" "+")
Bob is not nice.
Unknown
inv-rconc
[@2: Bob is nice.[CWA. Example of deepest failure = (rule3 <- rule1 <- FAIL)]]
("Bob" "is" "nice" "-")
Eric is nice.
Unknown
rconc
[@2: Eric is nice.[CWA. Example of deepest failure = (rule3 <- rule4 <- FAIL)]]
("Eric" "is" "nice" "+")
Eric is not round.
Unknown
inv-rconc
[@1: Eric is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Eric" "is" "round" "-")
Bob is green.
Unknown
random
[@0: Bob is green.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "green" "+")
Eric is not rough.
Unknown
inv-random
[@0: Eric is rough.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "rough" "-")
Charlie is green.
Unknown
random
[@0: Charlie is green.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "green" "+")
Bob is not blue.
Unknown
inv-random
[@0: Bob is blue.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "blue" "-")
Bob is rough.
Unknown
random
[@0: Bob is rough.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "rough" "+")
@0: Bob is big.[(triple3)] Bob is red.[(triple2)] Bob is young.[(triple1)] Charlie is cold.[(triple7)] Charlie is kind.[(triple6)] Charlie is rough.[(triple5)] Charlie is young.[(triple4)] Eric is young.[(triple8)] Fred is green.[(triple12)] Fred is nice.[(triple11)] Fred is round.[(triple10)] Fred is young.[(triple9)] @1: Charlie is round.[(((triple4 triple6) -> rule1))] @2: Charlie is big.[(((((triple4 triple6) -> rule1) triple7) -> rule4))] @3: Charlie is red.[(((triple7 ((((triple4 triple6) -> rule1) triple7) -> rule4) triple5) -> rule2))] @4: Charlie is nice.[(((((((triple4 triple6) -> rule1) triple7) -> rule4) ((triple4 triple6) -> rule1) ((triple7 ((((triple4 triple6) -> rule1) triple7) -> rule4) triple5) -> rule2)) -> rule3))]
Bob is big.
("Bob" "is" "big" "+")
triple3
Bob is red.
("Bob" "is" "red" "+")
triple2
Bob is young.
("Bob" "is" "young" "+")
triple1
Charlie is cold.
("Charlie" "is" "cold" "+")
triple7
Charlie is kind.
("Charlie" "is" "kind" "+")
triple6
Charlie is rough.
("Charlie" "is" "rough" "+")
triple5
Charlie is young.
("Charlie" "is" "young" "+")
triple4
Eric is young.
("Eric" "is" "young" "+")
triple8
Fred is green.
("Fred" "is" "green" "+")
triple12
Fred is nice.
("Fred" "is" "nice" "+")
triple11
Fred is round.
("Fred" "is" "round" "+")
triple10
Fred is young.
("Fred" "is" "young" "+")
triple9
Charlie is round.
("Charlie" "is" "round" "+")
((triple4 triple6) -> (rule1 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
((((triple4 triple6) -> (rule1 % int2)) triple7) -> (rule4 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
((triple7 ((((triple4 triple6) -> (rule1 % int3)) triple7) -> (rule4 % int2)) triple5) -> (rule2 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Charlie is nice.
("Charlie" "is" "nice" "+")
((((((triple4 triple6) -> (rule1 % int4)) triple7) -> (rule4 % int3)) ((triple4 triple6) -> (rule1 % int4)) ((triple7 ((((triple4 triple6) -> (rule1 % int4)) triple7) -> (rule4 % int3)) triple5) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
Bob is big and red, but he's young and will grow out of it.
Charlie, who is a young, rough person, is also a kind and cold guy.
Eric was born only a few years ago so he is young.
There is a very nice young man with a round body who is wearing green named Fred.
Kind and young people are round.
When someone feels cold, while being big and rough, they always turn out to be red.
If a big, red person with a round figure comes up to you, don't worry, they will be very nice.
Anyone who is round and also cold will surely be big as well.
A blue and green colored person will be round in shape.