Alan is rough, round and young but also red. Bob is so young and darling he is kind to all the old people on the block. Harry was born only a few years ago so he is young. I know anyone I meet who is big, nice, and round will be young. I've noticed that someone with a round shape is also green. Round green people usually feel blue. People that are red and blue and green at the same time have a reason to be cold. Someone that is red and blue because they are cold are also round. If someone is feeling blue and round in shape they are usually nice.
Alan is young.
("Alan" "is" "young" "+")
Alan is round.
("Alan" "is" "round" "+")
Alan is rough.
("Alan" "is" "rough" "+")
Alan is red.
("Alan" "is" "red" "+")
Bob is young.
("Bob" "is" "young" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Harry is young.
("Harry" "is" "young" "+")
If someone is big and nice and round then they are young.
((("someone" "is" "big" "+") ("someone" "is" "nice" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "young" "+"))
If someone is round then they are green.
((("someone" "is" "round" "+")) -> ("someone" "is" "green" "+"))
If someone is round and green then they are blue.
((("someone" "is" "round" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "blue" "+"))
If someone is red and blue and green then they are cold.
((("someone" "is" "red" "+") ("someone" "is" "blue" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "cold" "+"))
If someone is blue and red and cold then they are round.
((("someone" "is" "blue" "+") ("someone" "is" "red" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "round" "+"))
If someone is blue and round then they are nice.
((("someone" "is" "blue" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "nice" "+"))
Alan is young.
True
1
proof
[(triple1)]
("Alan" "is" "young" "+")
triple1
Alan is not red.
False
1
inv-proof
[(triple4)]
("Alan" "is" "red" "-")
triple4
Alan is green.
True
2
proof
[(((triple2) -> rule2))]
("Alan" "is" "green" "+")
((triple2) -> (rule2 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Alan is not green.
False
2
inv-proof
[(((triple2) -> rule2))]
("Alan" "is" "green" "-")
((triple2) -> (rule2 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Alan is blue.
True
4
proof
[(((triple2 ((triple2) -> rule2)) -> rule3))]
("Alan" "is" "blue" "+")
((triple2 ((triple2) -> (rule2 % int2))) -> (rule3 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Alan is green.
("Alan" "is" "green" "+")
int2
Alan is not blue.
False
4
inv-proof
[(((triple2 ((triple2) -> rule2)) -> rule3))]
("Alan" "is" "blue" "-")
((triple2 ((triple2) -> (rule2 % int2))) -> (rule3 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Alan is green.
("Alan" "is" "green" "+")
int2
Alan is cold.
True
8
proof
[(((triple4 ((triple2 ((triple2) -> rule2)) -> rule3) ((triple2) -> rule2)) -> rule4))]
("Alan" "is" "cold" "+")
((triple4 ((triple2 ((triple2) -> (rule2 % int3))) -> (rule3 % int2)) ((triple2) -> (rule2 % int3))) -> (rule4 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
Alan is blue.
("Alan" "is" "blue" "+")
int2
Alan is green.
("Alan" "is" "green" "+")
int3
Alan is not nice.
False
6
inv-proof
[(((((triple2 ((triple2) -> rule2)) -> rule3) triple2) -> rule6))]
("Alan" "is" "nice" "-")
((((triple2 ((triple2) -> (rule2 % int3))) -> (rule3 % int2)) triple2) -> (rule6 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is blue.
("Alan" "is" "blue" "+")
int2
Alan is green.
("Alan" "is" "green" "+")
int3
Bob is not nice.
Unknown
inv-rconc
[@2: Bob is nice.[CWA. Example of deepest failure = (rule6 <- rule5 <- FAIL)]]
("Bob" "is" "nice" "-")
Charlie is nice.
Unknown
rconc
[@2: Charlie is nice.[CWA. Example of deepest failure = (rule6 <- rule5 <- FAIL)]]
("Charlie" "is" "nice" "+")
Charlie is not cold.
Unknown
inv-rconc
[@1: Charlie is cold.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Charlie" "is" "cold" "-")
Harry is nice.
Unknown
rconc
[@2: Harry is nice.[CWA. Example of deepest failure = (rule6 <- rule5 <- FAIL)]]
("Harry" "is" "nice" "+")
Charlie is not rough.
Unknown
inv-random
[@0: Charlie is rough.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "rough" "-")
Harry is kind.
Unknown
random
[@0: Harry is kind.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "kind" "+")
Harry is not big.
Unknown
inv-random
[@0: Harry is big.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "big" "-")
Charlie is big.
Unknown
random
[@0: Charlie is big.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "big" "+")
@0: Alan is red.[(triple4)] Alan is rough.[(triple3)] Alan is round.[(triple2)] Alan is young.[(triple1)] Bob is kind.[(triple6)] Bob is young.[(triple5)] Harry is young.[(triple7)] @1: Alan is green.[(((triple2) -> rule2))] @2: Alan is blue.[(((triple2 ((triple2) -> rule2)) -> rule3))] @3: Alan is cold.[(((triple4 ((triple2 ((triple2) -> rule2)) -> rule3) ((triple2) -> rule2)) -> rule4))] Alan is nice.[(((((triple2 ((triple2) -> rule2)) -> rule3) triple2) -> rule6))]
Alan is red.
("Alan" "is" "red" "+")
triple4
Alan is rough.
("Alan" "is" "rough" "+")
triple3
Alan is round.
("Alan" "is" "round" "+")
triple2
Alan is young.
("Alan" "is" "young" "+")
triple1
Bob is kind.
("Bob" "is" "kind" "+")
triple6
Bob is young.
("Bob" "is" "young" "+")
triple5
Harry is young.
("Harry" "is" "young" "+")
triple7
Alan is green.
("Alan" "is" "green" "+")
((triple2) -> (rule2 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Alan is blue.
("Alan" "is" "blue" "+")
((triple2 ((triple2) -> (rule2 % int2))) -> (rule3 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Alan is green.
("Alan" "is" "green" "+")
int2
Alan is cold.
("Alan" "is" "cold" "+")
((triple4 ((triple2 ((triple2) -> (rule2 % int3))) -> (rule3 % int2)) ((triple2) -> (rule2 % int3))) -> (rule4 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
Alan is blue.
("Alan" "is" "blue" "+")
int2
Alan is green.
("Alan" "is" "green" "+")
int3
Alan is nice.
("Alan" "is" "nice" "+")
((((triple2 ((triple2) -> (rule2 % int3))) -> (rule3 % int2)) triple2) -> (rule6 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is blue.
("Alan" "is" "blue" "+")
int2
Alan is green.
("Alan" "is" "green" "+")
int3
Alan is rough, round and young but also red.
Bob is so young and darling he is kind to all the old people on the block.
Harry was born only a few years ago so he is young.
I know anyone I meet who is big, nice, and round will be young.
I've noticed that someone with a round shape is also green.
Round green people usually feel blue.
People that are red and blue and green at the same time have a reason to be cold.
Someone that is red and blue because they are cold are also round.
If someone is feeling blue and round in shape they are usually nice.