Alan is a rough but very kind and blue person. Bob is green, which is a possible explanation for why he is so nice. The big, round, blue guy is Harry. He's kind but rather rough. If people are nice and round, they look red. If you have a big and round shape then you are going to be young, too. You can find someone that is young and rough but kind and nice. Most green and round people,though big are quite young. Anyone with red and blue coloration also has green coloration.
Alan is rough.
("Alan" "is" "rough" "+")
Alan is kind.
("Alan" "is" "kind" "+")
Alan is blue.
("Alan" "is" "blue" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is green.
("Bob" "is" "green" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is big.
("Harry" "is" "big" "+")
If someone is nice and round then they are red.
((("someone" "is" "nice" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "red" "+"))
If someone is round and big then they are young.
((("someone" "is" "round" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "young" "+"))
If someone is young and kind and rough then they are nice.
((("someone" "is" "young" "+") ("someone" "is" "kind" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "nice" "+"))
If someone is green and round and big then they are young.
((("someone" "is" "green" "+") ("someone" "is" "round" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "young" "+"))
If someone is red and blue then they are green.
((("someone" "is" "red" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "green" "+"))
Alan is rough.
True
1
proof
[(triple1)]
("Alan" "is" "rough" "+")
triple1
Bob is not nice.
False
1
inv-proof
[(triple4)]
("Bob" "is" "nice" "-")
triple4
Harry is young.
True
3
proof
[(((triple6 triple10) -> rule2))]
("Harry" "is" "young" "+")
((triple6 triple10) -> (rule2 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is not young.
False
3
inv-proof
[(((triple6 triple10) -> rule2))]
("Harry" "is" "young" "-")
((triple6 triple10) -> (rule2 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is nice.
True
6
proof
[(((((triple6 triple10) -> rule2) triple8 triple7) -> rule3))]
("Harry" "is" "nice" "+")
((((triple6 triple10) -> (rule2 % int2)) triple8 triple7) -> (rule3 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is not nice.
False
6
inv-proof
[(((((triple6 triple10) -> rule2) triple8 triple7) -> rule3))]
("Harry" "is" "nice" "-")
((((triple6 triple10) -> (rule2 % int2)) triple8 triple7) -> (rule3 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is red.
True
8
proof
[(((((((triple6 triple10) -> rule2) triple8 triple7) -> rule3) triple6) -> rule1))]
("Harry" "is" "red" "+")
((((((triple6 triple10) -> (rule2 % int3)) triple8 triple7) -> (rule3 % int2)) triple6) -> (rule1 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is not red.
False
8
inv-proof
[(((((((triple6 triple10) -> rule2) triple8 triple7) -> rule3) triple6) -> rule1))]
("Harry" "is" "red" "-")
((((((triple6 triple10) -> (rule2 % int3)) triple8 triple7) -> (rule3 % int2)) triple6) -> (rule1 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is green.
True
10
proof
[(((((((((triple6 triple10) -> rule2) triple8 triple7) -> rule3) triple6) -> rule1) triple9) -> rule5))]
("Harry" "is" "green" "+")
((((((((triple6 triple10) -> (rule2 % int4)) triple8 triple7) -> (rule3 % int3)) triple6) -> (rule1 % int2)) triple9) -> (rule5 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
Harry is not green.
False
10
inv-proof
[(((((((((triple6 triple10) -> rule2) triple8 triple7) -> rule3) triple6) -> rule1) triple9) -> rule5))]
("Harry" "is" "green" "-")
((((((((triple6 triple10) -> (rule2 % int4)) triple8 triple7) -> (rule3 % int3)) triple6) -> (rule1 % int2)) triple9) -> (rule5 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
Gary is not green.
Unknown
inv-rconc
[@1: Gary is green.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Gary" "is" "green" "-")
Alan is green.
Unknown
rconc
[@2: Alan is green.[CWA. Example of deepest failure = (rule5 <- rule1 <- FAIL)]]
("Alan" "is" "green" "+")
Bob is not red.
Unknown
inv-rconc
[@1: Bob is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "red" "-")
Alan is red.
Unknown
rconc
[@1: Alan is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Alan" "is" "red" "+")
Gary is not nice.
Unknown
inv-rconc
[@1: Gary is nice.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Gary" "is" "nice" "-")
Gary is cold.
Unknown
random
[@0: Gary is cold.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "cold" "+")
Alan is not round.
Unknown
inv-random
[@0: Alan is round.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "round" "-")
Alan is big.
Unknown
random
[@0: Alan is big.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "big" "+")
Gary is not rough.
Unknown
inv-random
[@0: Gary is rough.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "rough" "-")
Bob is big.
Unknown
random
[@0: Bob is big.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "big" "+")
@0: Alan is blue.[(triple3)] Alan is kind.[(triple2)] Alan is rough.[(triple1)] Bob is green.[(triple5)] Bob is nice.[(triple4)] Harry is big.[(triple10)] Harry is blue.[(triple9)] Harry is kind.[(triple8)] Harry is rough.[(triple7)] Harry is round.[(triple6)] @1: Harry is young.[(((triple6 triple10) -> rule2))] @2: Harry is nice.[(((((triple6 triple10) -> rule2) triple8 triple7) -> rule3))] @3: Harry is red.[(((((((triple6 triple10) -> rule2) triple8 triple7) -> rule3) triple6) -> rule1))] @4: Harry is green.[(((((((((triple6 triple10) -> rule2) triple8 triple7) -> rule3) triple6) -> rule1) triple9) -> rule5))]
Alan is blue.
("Alan" "is" "blue" "+")
triple3
Alan is kind.
("Alan" "is" "kind" "+")
triple2
Alan is rough.
("Alan" "is" "rough" "+")
triple1
Bob is green.
("Bob" "is" "green" "+")
triple5
Bob is nice.
("Bob" "is" "nice" "+")
triple4
Harry is big.
("Harry" "is" "big" "+")
triple10
Harry is blue.
("Harry" "is" "blue" "+")
triple9
Harry is kind.
("Harry" "is" "kind" "+")
triple8
Harry is rough.
("Harry" "is" "rough" "+")
triple7
Harry is round.
("Harry" "is" "round" "+")
triple6
Harry is young.
("Harry" "is" "young" "+")
((triple6 triple10) -> (rule2 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
((((triple6 triple10) -> (rule2 % int2)) triple8 triple7) -> (rule3 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
((((((triple6 triple10) -> (rule2 % int3)) triple8 triple7) -> (rule3 % int2)) triple6) -> (rule1 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
((((((((triple6 triple10) -> (rule2 % int4)) triple8 triple7) -> (rule3 % int3)) triple6) -> (rule1 % int2)) triple9) -> (rule5 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
Alan is a rough but very kind and blue person.
Bob is green, which is a possible explanation for why he is so nice.
The big, round, blue guy is Harry; He's kind but rather rough.
If people are nice and round, they look red.
If you have a big and round shape then you are going to be young, too.
You can find someone that is young and rough but kind and nice.
Most green and round people,though big are quite young.
Anyone with red and blue coloration also has green coloration.