Young, red Alan is nice. They always call him rough Bob. Charlie is a man who is both round and rough. Big Harry is a nice young man who also happens to be red. Any cold, round, green person is going to be young at the same time. People who are young, while being red and cold, are big people. A green, round, blue male or female will be a big male or female, too. I've noticed that someone with a round shape is also green. A big rough person are also young of age. Round green people usually feel blue. A nice person with rough skin will be round, you can count on it.
Alan is young.
("Alan" "is" "young" "+")
Alan is red.
("Alan" "is" "red" "+")
Alan is nice.
("Alan" "is" "nice" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Harry is young.
("Harry" "is" "young" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is big.
("Harry" "is" "big" "+")
If someone is cold and round and green then they are young.
((("someone" "is" "cold" "+") ("someone" "is" "round" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "young" "+"))
If someone is young and red and cold then they are big.
((("someone" "is" "young" "+") ("someone" "is" "red" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "big" "+"))
If someone is green and round and blue then they are big.
((("someone" "is" "green" "+") ("someone" "is" "round" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "big" "+"))
If someone is round then they are green.
((("someone" "is" "round" "+")) -> ("someone" "is" "green" "+"))
If someone is big and rough then they are young.
((("someone" "is" "big" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "young" "+"))
If someone is round and green then they are blue.
((("someone" "is" "round" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "blue" "+"))
If someone is rough and nice then they are round.
((("someone" "is" "rough" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "round" "+"))
Harry is red.
True
1
proof
[(triple8)]
("Harry" "is" "red" "+")
triple8
Harry is not nice.
False
1
inv-proof
[(triple9)]
("Harry" "is" "nice" "-")
triple9
Charlie is green.
True
2
proof
[(((triple5) -> rule4))]
("Charlie" "is" "green" "+")
((triple5) -> (rule4 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is not green.
False
2
inv-proof
[(((triple5) -> rule4))]
("Charlie" "is" "green" "-")
((triple5) -> (rule4 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is blue.
True
4
proof
[(((triple5 ((triple5) -> rule4)) -> rule6))]
("Charlie" "is" "blue" "+")
((triple5 ((triple5) -> (rule4 % int2))) -> (rule6 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is not blue.
False
4
inv-proof
[(((triple5 ((triple5) -> rule4)) -> rule6))]
("Charlie" "is" "blue" "-")
((triple5 ((triple5) -> (rule4 % int2))) -> (rule6 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is big.
True
8
proof
[(((((triple5) -> rule4) triple5 ((triple5 ((triple5) -> rule4)) -> rule6)) -> rule3))]
("Charlie" "is" "big" "+")
((((triple5) -> (rule4 % int3)) triple5 ((triple5 ((triple5) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is not big.
False
8
inv-proof
[(((((triple5) -> rule4) triple5 ((triple5 ((triple5) -> rule4)) -> rule6)) -> rule3))]
("Charlie" "is" "big" "-")
((((triple5) -> (rule4 % int3)) triple5 ((triple5 ((triple5) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is young.
True
10
proof
[(((((((triple5) -> rule4) triple5 ((triple5 ((triple5) -> rule4)) -> rule6)) -> rule3) triple6) -> rule5))]
("Charlie" "is" "young" "+")
((((((triple5) -> (rule4 % int4)) triple5 ((triple5 ((triple5) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule3 % int2)) triple6) -> (rule5 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
Charlie is not young.
False
10
inv-proof
[(((((((triple5) -> rule4) triple5 ((triple5 ((triple5) -> rule4)) -> rule6)) -> rule3) triple6) -> rule5))]
("Charlie" "is" "young" "-")
((((((triple5) -> (rule4 % int4)) triple5 ((triple5 ((triple5) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule3 % int2)) triple6) -> (rule5 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
Alan is not blue.
Unknown
inv-rconc
[@2: Alan is blue.[CWA. Example of deepest failure = (rule6 <- rule7 <- FAIL)]]
("Alan" "is" "blue" "-")
Bob is big.
Unknown
rconc
[@2: Bob is big.[CWA. Example of deepest failure = (rule3 <- rule7 <- FAIL)]]
("Bob" "is" "big" "+")
Bob is not round.
Unknown
inv-rconc
[@1: Bob is round.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Bob" "is" "round" "-")
Alan is round.
Unknown
rconc
[@1: Alan is round.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Alan" "is" "round" "+")
Alan is not green.
Unknown
inv-rconc
[@2: Alan is green.[CWA. Example of deepest failure = (rule4 <- rule7 <- FAIL)]]
("Alan" "is" "green" "-")
Harry is rough.
Unknown
random
[@0: Harry is rough.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "rough" "+")
Harry is not cold.
Unknown
inv-random
[@0: Harry is cold.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "cold" "-")
Charlie is cold.
Unknown
random
[@0: Charlie is cold.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "cold" "+")
Alan is not rough.
Unknown
inv-random
[@0: Alan is rough.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "rough" "-")
Alan is kind.
Unknown
random
[@0: Alan is kind.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "kind" "+")
@0: Alan is nice.[(triple3)] Alan is red.[(triple2)] Alan is young.[(triple1)] Bob is rough.[(triple4)] Charlie is rough.[(triple6)] Charlie is round.[(triple5)] Harry is big.[(triple10)] Harry is nice.[(triple9)] Harry is red.[(triple8)] Harry is young.[(triple7)] @1: Charlie is green.[(((triple5) -> rule4))] @2: Charlie is blue.[(((triple5 ((triple5) -> rule4)) -> rule6))] @3: Charlie is big.[(((((triple5) -> rule4) triple5 ((triple5 ((triple5) -> rule4)) -> rule6)) -> rule3))] @4: Charlie is young.[(((((((triple5) -> rule4) triple5 ((triple5 ((triple5) -> rule4)) -> rule6)) -> rule3) triple6) -> rule5))]
Alan is nice.
("Alan" "is" "nice" "+")
triple3
Alan is red.
("Alan" "is" "red" "+")
triple2
Alan is young.
("Alan" "is" "young" "+")
triple1
Bob is rough.
("Bob" "is" "rough" "+")
triple4
Charlie is rough.
("Charlie" "is" "rough" "+")
triple6
Charlie is round.
("Charlie" "is" "round" "+")
triple5
Harry is big.
("Harry" "is" "big" "+")
triple10
Harry is nice.
("Harry" "is" "nice" "+")
triple9
Harry is red.
("Harry" "is" "red" "+")
triple8
Harry is young.
("Harry" "is" "young" "+")
triple7
Charlie is green.
("Charlie" "is" "green" "+")
((triple5) -> (rule4 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
((triple5 ((triple5) -> (rule4 % int2))) -> (rule6 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
((((triple5) -> (rule4 % int3)) triple5 ((triple5 ((triple5) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
((((((triple5) -> (rule4 % int4)) triple5 ((triple5 ((triple5) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule3 % int2)) triple6) -> (rule5 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
Young, red Alan is nice.
They always call him rough Bob.
Charlie is a man who is both round and rough.
Big Harry is a nice young man who also happens to be red.
Any cold, round, green person is going to be young at the same time.
People who are young, while being red and cold, are big people.
A green, round, blue male or female will be a big male or female, too.
I've noticed that someone with a round shape is also green.
A big rough person are also young of age.
Round green people usually feel blue.
A nice person with rough skin will be round, you can count on it.