Alan's a round guy, and a red and green guy. Bob is a rough but very kind and blue person. I was surprised at how green and blue young, round Fred is. If you come across someone with rough skin and a big and round shape, you'll see that they are also a big green. A nice person who is always seen to be wearing green clothes will be rather big in size. Someone with round, red, and kind traits also will be green. Kind and blue people,though young,tend to be big. If you color the young ones blue then they will be kind. Nice people that are colored red and green are always round. Because of the person's young age they are feeling blue due to their big body size causing them to act in a slightly rough manner.
Alan is round.
("Alan" "is" "round" "+")
Alan is red.
("Alan" "is" "red" "+")
Alan is green.
("Alan" "is" "green" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Fred is young.
("Fred" "is" "young" "+")
Fred is round.
("Fred" "is" "round" "+")
Fred is green.
("Fred" "is" "green" "+")
Fred is blue.
("Fred" "is" "blue" "+")
If someone is rough and round and big then they are green.
((("someone" "is" "rough" "+") ("someone" "is" "round" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "green" "+"))
If someone is green and nice then they are big.
((("someone" "is" "green" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "big" "+"))
If someone is round and red and kind then they are green.
((("someone" "is" "round" "+") ("someone" "is" "red" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "green" "+"))
If someone is kind and blue and young then they are big.
((("someone" "is" "kind" "+") ("someone" "is" "blue" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "big" "+"))
If someone is blue and young then they are kind.
((("someone" "is" "blue" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "kind" "+"))
If someone is green and red and nice then they are round.
((("someone" "is" "green" "+") ("someone" "is" "red" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "round" "+"))
If someone is young and big and blue then they are rough.
((("someone" "is" "young" "+") ("someone" "is" "big" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "rough" "+"))
Fred is green.
True
1
proof
[(triple9 OR ((((triple7 ((((triple10 triple7) -> rule5) triple10 triple7) -> rule4) triple10) -> rule7) triple8 ((((triple10 triple7) -> rule5) triple10 triple7) -> rule4)) -> rule1))]
("Fred" "is" "green" "+")
triple9
((((triple7 ((((triple10 triple7) -> (rule5 % int4)) triple10 triple7) -> (rule4 % int3)) triple10) -> (rule7 % int2)) triple8 ((((triple10 triple7) -> (rule5 % int4)) triple10 triple7) -> (rule4 % int3))) -> (rule1 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Fred is rough.
("Fred" "is" "rough" "+")
int2
Fred is big.
("Fred" "is" "big" "+")
int3
Fred is kind.
("Fred" "is" "kind" "+")
int4
Alan is not red.
False
1
inv-proof
[(triple2)]
("Alan" "is" "red" "-")
triple2
Fred is kind.
True
3
proof
[(((triple10 triple7) -> rule5))]
("Fred" "is" "kind" "+")
((triple10 triple7) -> (rule5 % int1))
Fred is kind.
("Fred" "is" "kind" "+")
int1
Fred is not kind.
False
3
inv-proof
[(((triple10 triple7) -> rule5))]
("Fred" "is" "kind" "-")
((triple10 triple7) -> (rule5 % int1))
Fred is kind.
("Fred" "is" "kind" "+")
int1
Fred is big.
True
6
proof
[(((((triple10 triple7) -> rule5) triple10 triple7) -> rule4))]
("Fred" "is" "big" "+")
((((triple10 triple7) -> (rule5 % int2)) triple10 triple7) -> (rule4 % int1))
Fred is big.
("Fred" "is" "big" "+")
int1
Fred is kind.
("Fred" "is" "kind" "+")
int2
Fred is not big.
False
6
inv-proof
[(((((triple10 triple7) -> rule5) triple10 triple7) -> rule4))]
("Fred" "is" "big" "-")
((((triple10 triple7) -> (rule5 % int2)) triple10 triple7) -> (rule4 % int1))
Fred is big.
("Fred" "is" "big" "+")
int1
Fred is kind.
("Fred" "is" "kind" "+")
int2
Fred is rough.
True
9
proof
[(((triple7 ((((triple10 triple7) -> rule5) triple10 triple7) -> rule4) triple10) -> rule7))]
("Fred" "is" "rough" "+")
((triple7 ((((triple10 triple7) -> (rule5 % int3)) triple10 triple7) -> (rule4 % int2)) triple10) -> (rule7 % int1))
Fred is rough.
("Fred" "is" "rough" "+")
int1
Fred is big.
("Fred" "is" "big" "+")
int2
Fred is kind.
("Fred" "is" "kind" "+")
int3
Fred is not rough.
False
9
inv-proof
[(((triple7 ((((triple10 triple7) -> rule5) triple10 triple7) -> rule4) triple10) -> rule7))]
("Fred" "is" "rough" "-")
((triple7 ((((triple10 triple7) -> (rule5 % int3)) triple10 triple7) -> (rule4 % int2)) triple10) -> (rule7 % int1))
Fred is rough.
("Fred" "is" "rough" "+")
int1
Fred is big.
("Fred" "is" "big" "+")
int2
Fred is kind.
("Fred" "is" "kind" "+")
int3
Alan is not kind.
Unknown
inv-rconc
[@1: Alan is kind.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Alan" "is" "kind" "-")
Harry is round.
Unknown
rconc
[@1: Harry is round.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Harry" "is" "round" "+")
Alan is not rough.
Unknown
inv-rconc
[@1: Alan is rough.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Alan" "is" "rough" "-")
Alan is big.
Unknown
rconc
[@1: Alan is big.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Alan" "is" "big" "+")
Harry is not blue.
Unknown
inv-random
[@0: Harry is blue.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "blue" "-")
Bob is young.
Unknown
random
[@0: Bob is young.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "young" "+")
Bob is not red.
Unknown
inv-random
[@0: Bob is red.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "red" "-")
Bob is nice.
Unknown
random
[@0: Bob is nice.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "nice" "+")
@0: Alan is green.[(triple3)] Alan is red.[(triple2)] Alan is round.[(triple1)] Bob is blue.[(triple6)] Bob is kind.[(triple5)] Bob is rough.[(triple4)] Fred is blue.[(triple10)] Fred is green.[(triple9 OR ((((triple7 ((((triple10 triple7) -> rule5) triple10 triple7) -> rule4) triple10) -> rule7) triple8 ((((triple10 triple7) -> rule5) triple10 triple7) -> rule4)) -> rule1))] Fred is round.[(triple8)] Fred is young.[(triple7)] @1: Fred is kind.[(((triple10 triple7) -> rule5))] @2: Fred is big.[(((((triple10 triple7) -> rule5) triple10 triple7) -> rule4))] @3: Fred is rough.[(((triple7 ((((triple10 triple7) -> rule5) triple10 triple7) -> rule4) triple10) -> rule7))]
Alan is green.
("Alan" "is" "green" "+")
triple3
Alan is red.
("Alan" "is" "red" "+")
triple2
Alan is round.
("Alan" "is" "round" "+")
triple1
Bob is blue.
("Bob" "is" "blue" "+")
triple6
Bob is kind.
("Bob" "is" "kind" "+")
triple5
Bob is rough.
("Bob" "is" "rough" "+")
triple4
Fred is blue.
("Fred" "is" "blue" "+")
triple10
Fred is green.
("Fred" "is" "green" "+")
triple9
((((triple7 ((((triple10 triple7) -> (rule5 % int4)) triple10 triple7) -> (rule4 % int3)) triple10) -> (rule7 % int2)) triple8 ((((triple10 triple7) -> (rule5 % int4)) triple10 triple7) -> (rule4 % int3))) -> (rule1 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Fred is rough.
("Fred" "is" "rough" "+")
int2
Fred is big.
("Fred" "is" "big" "+")
int3
Fred is kind.
("Fred" "is" "kind" "+")
int4
Fred is round.
("Fred" "is" "round" "+")
triple8
Fred is young.
("Fred" "is" "young" "+")
triple7
Fred is kind.
("Fred" "is" "kind" "+")
((triple10 triple7) -> (rule5 % int1))
Fred is kind.
("Fred" "is" "kind" "+")
int1
Fred is big.
("Fred" "is" "big" "+")
((((triple10 triple7) -> (rule5 % int2)) triple10 triple7) -> (rule4 % int1))
Fred is big.
("Fred" "is" "big" "+")
int1
Fred is kind.
("Fred" "is" "kind" "+")
int2
Fred is rough.
("Fred" "is" "rough" "+")
((triple7 ((((triple10 triple7) -> (rule5 % int3)) triple10 triple7) -> (rule4 % int2)) triple10) -> (rule7 % int1))
Fred is rough.
("Fred" "is" "rough" "+")
int1
Fred is big.
("Fred" "is" "big" "+")
int2
Fred is kind.
("Fred" "is" "kind" "+")
int3
Alan's a round guy, and a red and green guy.
Bob is a rough but very kind and blue person.
I was surprised at how green and blue young, round Fred is.
If you come across someone with rough skin and a big and round shape, you'll see that they are also a big green.
A nice person who is always seen to be wearing green clothes will be rather big in size.
Someone with round, red, and kind traits also will be green.
Kind and blue people,though young,tend to be big.
If you color the young ones blue then they will be kind.
Nice people that are colored red and green are always round.
Because of the person's young age they are feeling blue due to their big body size causing them to act in a slightly rough manner.