Alan is big and red, but he's young and will grow out of it. Bob is a young and nice man, and he is also very big shaped. Eric is round in the middle and extraordinarily nice but he's also blue because people don't always treat him well. Fred fits the description of someone who is rough, red and blue. Young people who wear red lipstick are certainly kind. Often, when you meet a rough person with red skin, you'll see that they are young too. When you meet someone that's rough, kind and nice you'll see they are green as well. Blue people who are big tend to be rough. Big people that have a rough demeanor usually feel blue. Someone who is round like a dumpling and cold like an icicle are very young in age. Someone who is big and kind is blue.
Alan is young.
("Alan" "is" "young" "+")
Alan is red.
("Alan" "is" "red" "+")
Alan is big.
("Alan" "is" "big" "+")
Bob is young.
("Bob" "is" "young" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is big.
("Bob" "is" "big" "+")
Eric is round.
("Eric" "is" "round" "+")
Eric is nice.
("Eric" "is" "nice" "+")
Eric is blue.
("Eric" "is" "blue" "+")
Fred is rough.
("Fred" "is" "rough" "+")
Fred is red.
("Fred" "is" "red" "+")
Fred is blue.
("Fred" "is" "blue" "+")
If someone is red and young then they are kind.
((("someone" "is" "red" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "kind" "+"))
If someone is rough and red then they are young.
((("someone" "is" "rough" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "young" "+"))
If someone is rough and kind and nice then they are green.
((("someone" "is" "rough" "+") ("someone" "is" "kind" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "green" "+"))
If someone is blue and big then they are rough.
((("someone" "is" "blue" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "rough" "+"))
If someone is big and rough then they are blue.
((("someone" "is" "big" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "blue" "+"))
If someone is round and cold then they are young.
((("someone" "is" "round" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "young" "+"))
If someone is kind and big then they are blue.
((("someone" "is" "kind" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "blue" "+"))
Eric is blue.
True
1
proof
[(triple9)]
("Eric" "is" "blue" "+")
triple9
Bob is not young.
False
1
inv-proof
[(triple4)]
("Bob" "is" "young" "-")
triple4
Fred is young.
True
3
proof
[(((triple10 triple11) -> rule2))]
("Fred" "is" "young" "+")
((triple10 triple11) -> (rule2 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Alan is not kind.
False
3
inv-proof
[(((triple2 triple1) -> rule1))]
("Alan" "is" "kind" "-")
((triple2 triple1) -> (rule1 % int1))
Alan is kind.
("Alan" "is" "kind" "+")
int1
Fred is kind.
True
5
proof
[(((triple11 ((triple10 triple11) -> rule2)) -> rule1))]
("Fred" "is" "kind" "+")
((triple11 ((triple10 triple11) -> (rule2 % int2))) -> (rule1 % int1))
Fred is kind.
("Fred" "is" "kind" "+")
int1
Fred is young.
("Fred" "is" "young" "+")
int2
Alan is not blue.
False
5
inv-proof
[(((((triple2 triple1) -> rule1) triple3) -> rule7))]
("Alan" "is" "blue" "-")
((((triple2 triple1) -> (rule1 % int2)) triple3) -> (rule7 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Alan is kind.
("Alan" "is" "kind" "+")
int2
Alan is rough.
True
7
proof
[(((((((triple2 triple1) -> rule1) triple3) -> rule7) triple3) -> rule4))]
("Alan" "is" "rough" "+")
((((((triple2 triple1) -> (rule1 % int3)) triple3) -> (rule7 % int2)) triple3) -> (rule4 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is blue.
("Alan" "is" "blue" "+")
int2
Alan is kind.
("Alan" "is" "kind" "+")
int3
Alan is not rough.
False
7
inv-proof
[(((((((triple2 triple1) -> rule1) triple3) -> rule7) triple3) -> rule4))]
("Alan" "is" "rough" "-")
((((((triple2 triple1) -> (rule1 % int3)) triple3) -> (rule7 % int2)) triple3) -> (rule4 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is blue.
("Alan" "is" "blue" "+")
int2
Alan is kind.
("Alan" "is" "kind" "+")
int3
Alan is not green.
Unknown
inv-rconc
[@1: Alan is green.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Alan" "is" "green" "-")
Bob is green.
Unknown
rconc
[@2: Bob is green.[CWA. Example of deepest failure = (rule3 <- rule1 <- FAIL)]]
("Bob" "is" "green" "+")
Bob is not rough.
Unknown
inv-rconc
[@3: Bob is rough.[CWA. Example of deepest failure = (rule4 <- rule7 <- rule1 <- FAIL)]]
("Bob" "is" "rough" "-")
Eric is rough.
Unknown
rconc
[@1: Eric is rough.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Eric" "is" "rough" "+")
Fred is not round.
Unknown
inv-random
[@0: Fred is round.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "round" "-")
Fred is cold.
Unknown
random
[@0: Fred is cold.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "cold" "+")
Bob is not cold.
Unknown
inv-random
[@0: Bob is cold.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "cold" "-")
Alan is round.
Unknown
random
[@0: Alan is round.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "round" "+")
@0: Alan is big.[(triple3)] Alan is red.[(triple2)] Alan is young.[(triple1)] Bob is big.[(triple6)] Bob is nice.[(triple5)] Bob is young.[(triple4)] Eric is blue.[(triple9)] Eric is nice.[(triple8)] Eric is round.[(triple7)] Fred is blue.[(triple12)] Fred is red.[(triple11)] Fred is rough.[(triple10)] @1: Alan is kind.[(((triple2 triple1) -> rule1))] Fred is young.[(((triple10 triple11) -> rule2))] @2: Alan is blue.[(((((triple2 triple1) -> rule1) triple3) -> rule7))] Fred is kind.[(((triple11 ((triple10 triple11) -> rule2)) -> rule1))] @3: Alan is rough.[(((((((triple2 triple1) -> rule1) triple3) -> rule7) triple3) -> rule4))]
Alan is big.
("Alan" "is" "big" "+")
triple3
Alan is red.
("Alan" "is" "red" "+")
triple2
Alan is young.
("Alan" "is" "young" "+")
triple1
Bob is big.
("Bob" "is" "big" "+")
triple6
Bob is nice.
("Bob" "is" "nice" "+")
triple5
Bob is young.
("Bob" "is" "young" "+")
triple4
Eric is blue.
("Eric" "is" "blue" "+")
triple9
Eric is nice.
("Eric" "is" "nice" "+")
triple8
Eric is round.
("Eric" "is" "round" "+")
triple7
Fred is blue.
("Fred" "is" "blue" "+")
triple12
Fred is red.
("Fred" "is" "red" "+")
triple11
Fred is rough.
("Fred" "is" "rough" "+")
triple10
Alan is kind.
("Alan" "is" "kind" "+")
((triple2 triple1) -> (rule1 % int1))
Alan is kind.
("Alan" "is" "kind" "+")
int1
Fred is young.
("Fred" "is" "young" "+")
((triple10 triple11) -> (rule2 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Alan is blue.
("Alan" "is" "blue" "+")
((((triple2 triple1) -> (rule1 % int2)) triple3) -> (rule7 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Alan is kind.
("Alan" "is" "kind" "+")
int2
Fred is kind.
("Fred" "is" "kind" "+")
((triple11 ((triple10 triple11) -> (rule2 % int2))) -> (rule1 % int1))
Fred is kind.
("Fred" "is" "kind" "+")
int1
Fred is young.
("Fred" "is" "young" "+")
int2
Alan is rough.
("Alan" "is" "rough" "+")
((((((triple2 triple1) -> (rule1 % int3)) triple3) -> (rule7 % int2)) triple3) -> (rule4 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is blue.
("Alan" "is" "blue" "+")
int2
Alan is kind.
("Alan" "is" "kind" "+")
int3
Alan is big and red, but he's young and will grow out of it.
Bob is a young and nice man, and he is also very big shaped.
Eric is round in the middle and extraordinarily nice but he's also blue because people don't always treat him well.
Fred fits the description of someone who is rough, red and blue.
Young people who wear red lipstick are certainly kind.
Often, when you meet a rough person with red skin, you'll see that they are young too.
When you meet someone that's rough, kind and nice you'll see they are green as well.
Blue people who are big tend to be rough.
Big people that have a rough demeanor usually feel blue.
Someone who is round like a dumpling and cold like an icicle are very young in age.
Someone who is big and kind is blue.