Even though young Alan is red from his sunburn, his lips are blue because he is cold. Though he is young, Bob is still nice despite being quite blue. Charlie always goes out of his way to show that he is kind to people. Fred always goes out of his way to show that he is kind to people. A young aged and blue colored person will certainly be round. I have found that blue, kind people are big. A young round person who is green is also red. Round, rough people blue with sadness turn out to be green. A depressed person feeling blue who is kind cannot escape from being green. Rough and green people are also nice. Young cold individuals are usualyy rough.
Alan is young.
("Alan" "is" "young" "+")
Alan is red.
("Alan" "is" "red" "+")
Alan is cold.
("Alan" "is" "cold" "+")
Alan is blue.
("Alan" "is" "blue" "+")
Bob is young.
("Bob" "is" "young" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Fred is kind.
("Fred" "is" "kind" "+")
If someone is young and blue then they are round.
((("someone" "is" "young" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "round" "+"))
If someone is blue and kind then they are big.
((("someone" "is" "blue" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "big" "+"))
If someone is young and round and green then they are red.
((("someone" "is" "young" "+") ("someone" "is" "round" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "red" "+"))
If someone is blue and round and rough then they are green.
((("someone" "is" "blue" "+") ("someone" "is" "round" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "green" "+"))
If someone is blue and kind then they are green.
((("someone" "is" "blue" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "green" "+"))
If someone is rough and green then they are nice.
((("someone" "is" "rough" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "nice" "+"))
If someone is young and cold then they are rough.
((("someone" "is" "young" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "rough" "+"))
Charlie is kind.
True
1
proof
[(triple8)]
("Charlie" "is" "kind" "+")
triple8
Bob is not blue.
False
1
inv-proof
[(triple7)]
("Bob" "is" "blue" "-")
triple7
Bob is round.
True
3
proof
[(((triple5 triple7) -> rule1))]
("Bob" "is" "round" "+")
((triple5 triple7) -> (rule1 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Alan is not rough.
False
3
inv-proof
[(((triple1 triple3) -> rule7))]
("Alan" "is" "rough" "-")
((triple1 triple3) -> (rule7 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is green.
True
8
proof
[(((triple4 ((triple1 triple4) -> rule1) ((triple1 triple3) -> rule7)) -> rule4))]
("Alan" "is" "green" "+")
((triple4 ((triple1 triple4) -> (rule1 % int3)) ((triple1 triple3) -> (rule7 % int2))) -> (rule4 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Alan is rough.
("Alan" "is" "rough" "+")
int2
Alan is round.
("Alan" "is" "round" "+")
int3
Alan is not green.
False
8
inv-proof
[(((triple4 ((triple1 triple4) -> rule1) ((triple1 triple3) -> rule7)) -> rule4))]
("Alan" "is" "green" "-")
((triple4 ((triple1 triple4) -> (rule1 % int3)) ((triple1 triple3) -> (rule7 % int2))) -> (rule4 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Alan is rough.
("Alan" "is" "rough" "+")
int2
Alan is round.
("Alan" "is" "round" "+")
int3
Alan is nice.
True
12
proof
[(((((triple1 triple3) -> rule7) ((triple4 ((triple1 triple4) -> rule1) ((triple1 triple3) -> rule7)) -> rule4)) -> rule6))]
("Alan" "is" "nice" "+")
((((triple1 triple3) -> (rule7 % int4)) ((triple4 ((triple1 triple4) -> (rule1 % int3)) ((triple1 triple3) -> (rule7 % int4))) -> (rule4 % int2))) -> (rule6 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is green.
("Alan" "is" "green" "+")
int2
Alan is round.
("Alan" "is" "round" "+")
int3
Alan is rough.
("Alan" "is" "rough" "+")
int4
Alan is not nice.
False
12
inv-proof
[(((((triple1 triple3) -> rule7) ((triple4 ((triple1 triple4) -> rule1) ((triple1 triple3) -> rule7)) -> rule4)) -> rule6))]
("Alan" "is" "nice" "-")
((((triple1 triple3) -> (rule7 % int4)) ((triple4 ((triple1 triple4) -> (rule1 % int3)) ((triple1 triple3) -> (rule7 % int4))) -> (rule4 % int2))) -> (rule6 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is green.
("Alan" "is" "green" "+")
int2
Alan is round.
("Alan" "is" "round" "+")
int3
Alan is rough.
("Alan" "is" "rough" "+")
int4
Fred is not round.
Unknown
inv-rconc
[@1: Fred is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fred" "is" "round" "-")
Fred is green.
Unknown
rconc
[@1: Fred is green.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Fred" "is" "green" "+")
Charlie is not round.
Unknown
inv-rconc
[@1: Charlie is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "round" "-")
Bob is green.
Unknown
rconc
[@2: Bob is green.[CWA. Example of deepest failure = (rule4 <- rule7 <- FAIL)]]
("Bob" "is" "green" "+")
Bob is not kind.
Unknown
inv-random
[@0: Bob is kind.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "kind" "-")
Charlie is young.
Unknown
random
[@0: Charlie is young.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "young" "+")
Fred is not blue.
Unknown
inv-random
[@0: Fred is blue.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "blue" "-")
Alan is kind.
Unknown
random
[@0: Alan is kind.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "kind" "+")
@0: Alan is blue.[(triple4)] Alan is cold.[(triple3)] Alan is red.[(triple2 OR ((triple1 ((triple1 triple4) -> rule1) ((triple4 ((triple1 triple4) -> rule1) ((triple1 triple3) -> rule7)) -> rule4)) -> rule3))] Alan is young.[(triple1)] Bob is blue.[(triple7)] Bob is nice.[(triple6)] Bob is young.[(triple5)] Charlie is kind.[(triple8)] Fred is kind.[(triple9)] @1: Alan is rough.[(((triple1 triple3) -> rule7))] Alan is round.[(((triple1 triple4) -> rule1))] Bob is round.[(((triple5 triple7) -> rule1))] @2: Alan is green.[(((triple4 ((triple1 triple4) -> rule1) ((triple1 triple3) -> rule7)) -> rule4))] @3: Alan is nice.[(((((triple1 triple3) -> rule7) ((triple4 ((triple1 triple4) -> rule1) ((triple1 triple3) -> rule7)) -> rule4)) -> rule6))]
Alan is blue.
("Alan" "is" "blue" "+")
triple4
Alan is cold.
("Alan" "is" "cold" "+")
triple3
Alan is red.
("Alan" "is" "red" "+")
triple2
((triple1 ((triple1 triple4) -> (rule1 % int4)) ((triple4 ((triple1 triple4) -> (rule1 % int4)) ((triple1 triple3) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
Alan is red.
("Alan" "is" "red" "+")
int1
Alan is green.
("Alan" "is" "green" "+")
int2
Alan is rough.
("Alan" "is" "rough" "+")
int3
Alan is round.
("Alan" "is" "round" "+")
int4
Alan is young.
("Alan" "is" "young" "+")
triple1
Bob is blue.
("Bob" "is" "blue" "+")
triple7
Bob is nice.
("Bob" "is" "nice" "+")
triple6
Bob is young.
("Bob" "is" "young" "+")
triple5
Charlie is kind.
("Charlie" "is" "kind" "+")
triple8
Fred is kind.
("Fred" "is" "kind" "+")
triple9
Alan is rough.
("Alan" "is" "rough" "+")
((triple1 triple3) -> (rule7 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is round.
("Alan" "is" "round" "+")
((triple1 triple4) -> (rule1 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
((triple5 triple7) -> (rule1 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Alan is green.
("Alan" "is" "green" "+")
((triple4 ((triple1 triple4) -> (rule1 % int3)) ((triple1 triple3) -> (rule7 % int2))) -> (rule4 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Alan is rough.
("Alan" "is" "rough" "+")
int2
Alan is round.
("Alan" "is" "round" "+")
int3
Alan is nice.
("Alan" "is" "nice" "+")
((((triple1 triple3) -> (rule7 % int4)) ((triple4 ((triple1 triple4) -> (rule1 % int3)) ((triple1 triple3) -> (rule7 % int4))) -> (rule4 % int2))) -> (rule6 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is green.
("Alan" "is" "green" "+")
int2
Alan is round.
("Alan" "is" "round" "+")
int3
Alan is rough.
("Alan" "is" "rough" "+")
int4
Even though young Alan is red from his sunburn, his lips are blue because he is cold.
Though he is young, Bob is still nice despite being quite blue.
Charlie always goes out of his way to show that he is kind to people.
Fred always goes out of his way to show that he is kind to people.
A young aged and blue colored person will certainly be round.
I have found that blue, kind people are big.
A young round person who is green is also red.
Round, rough people blue with sadness turn out to be green.
A depressed person feeling blue who is kind cannot escape from being green.
Rough and green people are also nice.
Young cold individuals are usualyy rough.