Bob is big and round man that is looking rather green after seeing some bad mayonnaise. There's a very big man over there who is green to this situation that seems to be rather cold despite his bright red coat named Eric. Gary was looking rather round and feeling rather cold, but people thought he is kind. When you meet someone round, blue and nice they are as a rule rough. Big people who are red in color are often nice. Kind and young people are round. If you are green you are also kind. 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. Anyone that is nice and kind and also green will usually be young as well. If a rather cold person is also kind then they are probably rough.
Bob is round.
("Bob" "is" "round" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is big.
("Bob" "is" "big" "+")
Eric is red.
("Eric" "is" "red" "+")
Eric is green.
("Eric" "is" "green" "+")
Eric is cold.
("Eric" "is" "cold" "+")
Eric is big.
("Eric" "is" "big" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is cold.
("Gary" "is" "cold" "+")
If someone is blue and nice and round then they are rough.
((("someone" "is" "blue" "+") ("someone" "is" "nice" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "rough" "+"))
If someone is big and red then they are nice.
((("someone" "is" "big" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "nice" "+"))
If someone is young and kind then they are round.
((("someone" "is" "young" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "round" "+"))
If someone is green then they are kind.
((("someone" "is" "green" "+")) -> ("someone" "is" "kind" "+"))
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 green and nice and kind then they are young.
((("someone" "is" "green" "+") ("someone" "is" "nice" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "young" "+"))
If someone is cold and kind then they are rough.
((("someone" "is" "cold" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "rough" "+"))
Eric is green.
True
1
proof
[(triple5)]
("Eric" "is" "green" "+")
triple5
Bob is not round.
False
1
inv-proof
[(triple1)]
("Bob" "is" "round" "-")
triple1
Eric is nice.
True
3
proof
[(((triple7 triple4) -> rule2))]
("Eric" "is" "nice" "+")
((triple7 triple4) -> (rule2 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Bob is not kind.
False
2
inv-proof
[(((triple2) -> rule4))]
("Bob" "is" "kind" "-")
((triple2) -> (rule4 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Eric is young.
True
7
proof
[(((triple5 ((triple7 triple4) -> rule2) ((triple5) -> rule4)) -> rule6))]
("Eric" "is" "young" "+")
((triple5 ((triple7 triple4) -> (rule2 % int3)) ((triple5) -> (rule4 % int2))) -> (rule6 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
int2
Eric is nice.
("Eric" "is" "nice" "+")
int3
Eric is not rough.
False
4
inv-proof
[(((triple6 ((triple5) -> rule4)) -> rule7))]
("Eric" "is" "rough" "-")
((triple6 ((triple5) -> (rule4 % int2))) -> (rule7 % int1))
Eric is rough.
("Eric" "is" "rough" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
int2
Eric is round.
True
10
proof
[(((((triple5 ((triple7 triple4) -> rule2) ((triple5) -> rule4)) -> rule6) ((triple5) -> rule4)) -> rule3))]
("Eric" "is" "round" "+")
((((triple5 ((triple7 triple4) -> (rule2 % int4)) ((triple5) -> (rule4 % int3))) -> (rule6 % int2)) ((triple5) -> (rule4 % int3))) -> (rule3 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
int2
Eric is kind.
("Eric" "is" "kind" "+")
int3
Eric is nice.
("Eric" "is" "nice" "+")
int4
Eric is not round.
False
10
inv-proof
[(((((triple5 ((triple7 triple4) -> rule2) ((triple5) -> rule4)) -> rule6) ((triple5) -> rule4)) -> rule3))]
("Eric" "is" "round" "-")
((((triple5 ((triple7 triple4) -> (rule2 % int4)) ((triple5) -> (rule4 % int3))) -> (rule6 % int2)) ((triple5) -> (rule4 % int3))) -> (rule3 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
int2
Eric is kind.
("Eric" "is" "kind" "+")
int3
Eric is nice.
("Eric" "is" "nice" "+")
int4
Dave is not nice.
Unknown
inv-rconc
[@1: Dave is nice.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Dave" "is" "nice" "-")
Dave is kind.
Unknown
rconc
[@1: Dave is kind.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Dave" "is" "kind" "+")
Bob is not young.
Unknown
inv-rconc
[@2: Bob is young.[CWA. Example of deepest failure = (rule6 <- rule2 <- FAIL)]]
("Bob" "is" "young" "-")
Dave is rough.
Unknown
rconc
[@1: Dave is rough.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "rough" "+")
Dave is not big.
Unknown
inv-random
[@0: Dave is big.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "big" "-")
Bob is red.
Unknown
random
[@0: Bob is red.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "red" "+")
Gary is not red.
Unknown
inv-random
[@0: Gary is red.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "red" "-")
Gary is green.
Unknown
random
[@0: Gary is green.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "green" "+")
@0: Bob is big.[(triple3)] Bob is green.[(triple2)] Bob is round.[(triple1)] Eric is big.[(triple7)] Eric is cold.[(triple6)] Eric is green.[(triple5)] Eric is red.[(triple4)] Gary is cold.[(triple10)] Gary is kind.[(triple9)] Gary is round.[(triple8)] @1: Bob is kind.[(((triple2) -> rule4))] Eric is kind.[(((triple5) -> rule4))] Eric is nice.[(((triple7 triple4) -> rule2))] Gary is rough.[(((triple10 triple9) -> rule7))] @2: Eric is rough.[(((triple6 ((triple5) -> rule4)) -> rule7))] Eric is young.[(((triple5 ((triple7 triple4) -> rule2) ((triple5) -> rule4)) -> rule6))] @3: Eric is round.[(((((triple5 ((triple7 triple4) -> rule2) ((triple5) -> rule4)) -> rule6) ((triple5) -> rule4)) -> rule3))]
Bob is big.
("Bob" "is" "big" "+")
triple3
Bob is green.
("Bob" "is" "green" "+")
triple2
Bob is round.
("Bob" "is" "round" "+")
triple1
Eric is big.
("Eric" "is" "big" "+")
triple7
Eric is cold.
("Eric" "is" "cold" "+")
triple6
Eric is green.
("Eric" "is" "green" "+")
triple5
Eric is red.
("Eric" "is" "red" "+")
triple4
Gary is cold.
("Gary" "is" "cold" "+")
triple10
Gary is kind.
("Gary" "is" "kind" "+")
triple9
Gary is round.
("Gary" "is" "round" "+")
triple8
Bob is kind.
("Bob" "is" "kind" "+")
((triple2) -> (rule4 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
((triple5) -> (rule4 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Eric is nice.
("Eric" "is" "nice" "+")
((triple7 triple4) -> (rule2 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
((triple10 triple9) -> (rule7 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Eric is rough.
("Eric" "is" "rough" "+")
((triple6 ((triple5) -> (rule4 % int2))) -> (rule7 % int1))
Eric is rough.
("Eric" "is" "rough" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
int2
Eric is young.
("Eric" "is" "young" "+")
((triple5 ((triple7 triple4) -> (rule2 % int3)) ((triple5) -> (rule4 % int2))) -> (rule6 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
int2
Eric is nice.
("Eric" "is" "nice" "+")
int3
Eric is round.
("Eric" "is" "round" "+")
((((triple5 ((triple7 triple4) -> (rule2 % int4)) ((triple5) -> (rule4 % int3))) -> (rule6 % int2)) ((triple5) -> (rule4 % int3))) -> (rule3 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
int2
Eric is kind.
("Eric" "is" "kind" "+")
int3
Eric is nice.
("Eric" "is" "nice" "+")
int4
Bob is big and round man that is looking rather green after seeing some bad mayonnaise.
There's a very big man over there who is green to this situation that seems to be rather cold despite his bright red coat named Eric.
Gary was looking rather round and feeling rather cold, but people thought he is kind.
When you meet someone round, blue and nice they are as a rule rough.
Big people who are red in color are often nice.
Kind and young people are round.
If you are green you are also kind.
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.
Anyone that is nice and kind and also green will usually be young as well.
If a rather cold person is also kind then they are probably rough.