Big, round Alan is also known to be nice, kind and young. Charlie is blue just like his dog. Charlie is rough and round enough for the dog to use him as an exercise wheel. Even though Harry is green with envy he is nice with rosy red cheeks. A nice green person that tends to be rough will indeed be round too. A young someone is red in thought but green in ideas. A rough and round person is also a big person. A big kind person that is red is almost always nice. Blue and red people who are young always have rough skin. Nice people who are looking green and seeing red usually feel rather rough. Everyone knows that if you are cold, kind, and big, it goes without saying that you are round.
Alan is young.
("Alan" "is" "young" "+")
Alan is round.
("Alan" "is" "round" "+")
Alan is nice.
("Alan" "is" "nice" "+")
Alan is kind.
("Alan" "is" "kind" "+")
Alan is big.
("Alan" "is" "big" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is green.
("Harry" "is" "green" "+")
If someone is green and nice and rough then they are round.
((("someone" "is" "green" "+") ("someone" "is" "nice" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "round" "+"))
If someone is red and young then they are green.
((("someone" "is" "red" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "green" "+"))
If someone is round and rough then they are big.
((("someone" "is" "round" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "big" "+"))
If someone is kind and red and big then they are nice.
((("someone" "is" "kind" "+") ("someone" "is" "red" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "nice" "+"))
If someone is blue and red and young then they are rough.
((("someone" "is" "blue" "+") ("someone" "is" "red" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "rough" "+"))
If someone is nice and green and red then they are rough.
((("someone" "is" "nice" "+") ("someone" "is" "green" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "rough" "+"))
If someone is cold and kind and big then they are round.
((("someone" "is" "cold" "+") ("someone" "is" "kind" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "round" "+"))
Alan is kind.
True
1
proof
[(triple4)]
("Alan" "is" "kind" "+")
triple4
Charlie is not blue.
False
1
inv-proof
[(triple8)]
("Charlie" "is" "blue" "-")
triple8
Charlie is big.
True
3
proof
[(((triple6 triple7) -> rule3))]
("Charlie" "is" "big" "+")
((triple6 triple7) -> (rule3 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is not big.
False
3
inv-proof
[(((triple6 triple7) -> rule3))]
("Charlie" "is" "big" "-")
((triple6 triple7) -> (rule3 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Harry is round.
True
7
proof
[(((triple11 triple10 ((triple10 triple11 triple9) -> rule6)) -> rule1))]
("Harry" "is" "round" "+")
((triple11 triple10 ((triple10 triple11 triple9) -> (rule6 % int2))) -> (rule1 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is not round.
False
7
inv-proof
[(((triple11 triple10 ((triple10 triple11 triple9) -> rule6)) -> rule1))]
("Harry" "is" "round" "-")
((triple11 triple10 ((triple10 triple11 triple9) -> (rule6 % int2))) -> (rule1 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is big.
True
12
proof
[(((((triple11 triple10 ((triple10 triple11 triple9) -> rule6)) -> rule1) ((triple10 triple11 triple9) -> rule6)) -> rule3))]
("Harry" "is" "big" "+")
((((triple11 triple10 ((triple10 triple11 triple9) -> (rule6 % int3))) -> (rule1 % int2)) ((triple10 triple11 triple9) -> (rule6 % int3))) -> (rule3 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Harry is not big.
False
12
inv-proof
[(((((triple11 triple10 ((triple10 triple11 triple9) -> rule6)) -> rule1) ((triple10 triple11 triple9) -> rule6)) -> rule3))]
("Harry" "is" "big" "-")
((((triple11 triple10 ((triple10 triple11 triple9) -> (rule6 % int3))) -> (rule1 % int2)) ((triple10 triple11 triple9) -> (rule6 % int3))) -> (rule3 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Bob is not nice.
Unknown
inv-rconc
[@1: Bob is nice.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Bob" "is" "nice" "-")
Bob is round.
Unknown
rconc
[@2: Bob is round.[CWA. Example of deepest failure = (rule1 <- rule2 <- FAIL)]]
("Bob" "is" "round" "+")
Bob is not big.
Unknown
inv-rconc
[@2: Bob is big.[CWA. Example of deepest failure = (rule3 <- rule5 <- FAIL)]]
("Bob" "is" "big" "-")
Alan is rough.
Unknown
rconc
[@1: Alan is rough.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Alan" "is" "rough" "+")
Harry is not cold.
Unknown
inv-random
[@0: Harry is cold.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "cold" "-")
Harry is kind.
Unknown
random
[@0: Harry is kind.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "kind" "+")
Bob is not young.
Unknown
inv-random
[@0: Bob is young.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "young" "-")
Alan is red.
Unknown
random
[@0: Alan is red.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "red" "+")
@0: Alan is big.[(triple5)] Alan is kind.[(triple4)] Alan is nice.[(triple3)] Alan is round.[(triple2)] Alan is young.[(triple1)] Charlie is blue.[(triple8)] Charlie is rough.[(triple7)] Charlie is round.[(triple6)] Harry is green.[(triple11)] Harry is nice.[(triple10)] Harry is red.[(triple9)] @1: Charlie is big.[(((triple6 triple7) -> rule3))] Harry is rough.[(((triple10 triple11 triple9) -> rule6))] @2: Harry is round.[(((triple11 triple10 ((triple10 triple11 triple9) -> rule6)) -> rule1))] @3: Harry is big.[(((((triple11 triple10 ((triple10 triple11 triple9) -> rule6)) -> rule1) ((triple10 triple11 triple9) -> rule6)) -> rule3))]
Alan is big.
("Alan" "is" "big" "+")
triple5
Alan is kind.
("Alan" "is" "kind" "+")
triple4
Alan is nice.
("Alan" "is" "nice" "+")
triple3
Alan is round.
("Alan" "is" "round" "+")
triple2
Alan is young.
("Alan" "is" "young" "+")
triple1
Charlie is blue.
("Charlie" "is" "blue" "+")
triple8
Charlie is rough.
("Charlie" "is" "rough" "+")
triple7
Charlie is round.
("Charlie" "is" "round" "+")
triple6
Harry is green.
("Harry" "is" "green" "+")
triple11
Harry is nice.
("Harry" "is" "nice" "+")
triple10
Harry is red.
("Harry" "is" "red" "+")
triple9
Charlie is big.
("Charlie" "is" "big" "+")
((triple6 triple7) -> (rule3 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
((triple10 triple11 triple9) -> (rule6 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
((triple11 triple10 ((triple10 triple11 triple9) -> (rule6 % int2))) -> (rule1 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
((((triple11 triple10 ((triple10 triple11 triple9) -> (rule6 % int3))) -> (rule1 % int2)) ((triple10 triple11 triple9) -> (rule6 % int3))) -> (rule3 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Big, round Alan is also known to be nice, kind and young.
Charlie is blue just like his dog; Charlie is rough and round enough for the dog to use him as an exercise wheel.
Even though Harry is green with envy he is nice with rosy red cheeks.
A nice green person that tends to be rough will indeed be round too.
A young someone is red in thought but green in ideas.
A rough and round person is also a big person.
A big kind person that is red is almost always nice.
Blue and red people who are young always have rough skin.
Nice people who are looking green and seeing red usually feel rather rough.
Everyone knows that if you are cold, kind, and big, it goes without saying that you are round.