Big blue Alan is nice and young. From a certain angle Bob is blue but he is young so maybe that will go away. Charlie associated himself with green despite being covered head-to-toe in blue. Him being young and kind preceded him. Harry is a nice person who is red because he has a rash. Red, big people can't help but be round as well. I've been told that big, nice people are very rough. A depressed person feeling blue who is kind cannot escape from being green. People with big hands and red, rough skin are terribly kind. Someone big and rough in shape is always kind. You will discover that green rough people are always red.
Alan is young.
("Alan" "is" "young" "+")
Alan is nice.
("Alan" "is" "nice" "+")
Alan is blue.
("Alan" "is" "blue" "+")
Alan is big.
("Alan" "is" "big" "+")
Bob is young.
("Bob" "is" "young" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is nice.
("Harry" "is" "nice" "+")
If someone is red and big then they are round.
((("someone" "is" "red" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "round" "+"))
If someone is big and nice then they are rough.
((("someone" "is" "big" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "rough" "+"))
If someone is blue and kind then they are green.
((("someone" "is" "blue" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "green" "+"))
If someone is rough and big and red then they are kind.
((("someone" "is" "rough" "+") ("someone" "is" "big" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "kind" "+"))
If someone is big and rough then they are kind.
((("someone" "is" "big" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "kind" "+"))
If someone is green and rough then they are red.
((("someone" "is" "green" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "red" "+"))
Charlie is green.
True
1
proof
[(triple9 OR ((triple10 triple8) -> rule3))]
("Charlie" "is" "green" "+")
triple9
((triple10 triple8) -> (rule3 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is not young.
False
1
inv-proof
[(triple7)]
("Charlie" "is" "young" "-")
triple7
Alan is rough.
True
3
proof
[(((triple4 triple2) -> rule2))]
("Alan" "is" "rough" "+")
((triple4 triple2) -> (rule2 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is not rough.
False
3
inv-proof
[(((triple4 triple2) -> rule2))]
("Alan" "is" "rough" "-")
((triple4 triple2) -> (rule2 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is kind.
True
5
proof
[(((triple4 ((triple4 triple2) -> rule2)) -> rule5))]
("Alan" "is" "kind" "+")
((triple4 ((triple4 triple2) -> (rule2 % int2))) -> (rule5 % int1))
Alan is kind.
("Alan" "is" "kind" "+")
int1
Alan is rough.
("Alan" "is" "rough" "+")
int2
Alan is not kind.
False
5
inv-proof
[(((triple4 ((triple4 triple2) -> rule2)) -> rule5))]
("Alan" "is" "kind" "-")
((triple4 ((triple4 triple2) -> (rule2 % int2))) -> (rule5 % int1))
Alan is kind.
("Alan" "is" "kind" "+")
int1
Alan is rough.
("Alan" "is" "rough" "+")
int2
Alan is green.
True
7
proof
[(((triple3 ((triple4 ((triple4 triple2) -> rule2)) -> rule5)) -> rule3))]
("Alan" "is" "green" "+")
((triple3 ((triple4 ((triple4 triple2) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Alan is kind.
("Alan" "is" "kind" "+")
int2
Alan is rough.
("Alan" "is" "rough" "+")
int3
Alan is not green.
False
7
inv-proof
[(((triple3 ((triple4 ((triple4 triple2) -> rule2)) -> rule5)) -> rule3))]
("Alan" "is" "green" "-")
((triple3 ((triple4 ((triple4 triple2) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Alan is kind.
("Alan" "is" "kind" "+")
int2
Alan is rough.
("Alan" "is" "rough" "+")
int3
Alan is red.
True
11
proof
[(((((triple3 ((triple4 ((triple4 triple2) -> rule2)) -> rule5)) -> rule3) ((triple4 triple2) -> rule2)) -> rule6))]
("Alan" "is" "red" "+")
((((triple3 ((triple4 ((triple4 triple2) -> (rule2 % int4))) -> (rule5 % int3))) -> (rule3 % int2)) ((triple4 triple2) -> (rule2 % int4))) -> (rule6 % int1))
Alan is red.
("Alan" "is" "red" "+")
int1
Alan is green.
("Alan" "is" "green" "+")
int2
Alan is kind.
("Alan" "is" "kind" "+")
int3
Alan is rough.
("Alan" "is" "rough" "+")
int4
Alan is not red.
False
11
inv-proof
[(((((triple3 ((triple4 ((triple4 triple2) -> rule2)) -> rule5)) -> rule3) ((triple4 triple2) -> rule2)) -> rule6))]
("Alan" "is" "red" "-")
((((triple3 ((triple4 ((triple4 triple2) -> (rule2 % int4))) -> (rule5 % int3))) -> (rule3 % int2)) ((triple4 triple2) -> (rule2 % int4))) -> (rule6 % int1))
Alan is red.
("Alan" "is" "red" "+")
int1
Alan is green.
("Alan" "is" "green" "+")
int2
Alan is kind.
("Alan" "is" "kind" "+")
int3
Alan is rough.
("Alan" "is" "rough" "+")
int4
Alan is round.
True
13
proof
[(((((((triple3 ((triple4 ((triple4 triple2) -> rule2)) -> rule5)) -> rule3) ((triple4 triple2) -> rule2)) -> rule6) triple4) -> rule1))]
("Alan" "is" "round" "+")
((((((triple3 ((triple4 ((triple4 triple2) -> (rule2 % int5))) -> (rule5 % int4))) -> (rule3 % int3)) ((triple4 triple2) -> (rule2 % int5))) -> (rule6 % int2)) triple4) -> (rule1 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
int2
Alan is green.
("Alan" "is" "green" "+")
int3
Alan is kind.
("Alan" "is" "kind" "+")
int4
Alan is rough.
("Alan" "is" "rough" "+")
int5
Alan is not round.
False
13
inv-proof
[(((((((triple3 ((triple4 ((triple4 triple2) -> rule2)) -> rule5)) -> rule3) ((triple4 triple2) -> rule2)) -> rule6) triple4) -> rule1))]
("Alan" "is" "round" "-")
((((((triple3 ((triple4 ((triple4 triple2) -> (rule2 % int5))) -> (rule5 % int4))) -> (rule3 % int3)) ((triple4 triple2) -> (rule2 % int5))) -> (rule6 % int2)) triple4) -> (rule1 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
int2
Alan is green.
("Alan" "is" "green" "+")
int3
Alan is kind.
("Alan" "is" "kind" "+")
int4
Alan is rough.
("Alan" "is" "rough" "+")
int5
Bob is not red.
Unknown
inv-rconc
[@2: Bob is red.[CWA. Example of deepest failure = (rule6 <- rule2 <- FAIL)]]
("Bob" "is" "red" "-")
Bob is rough.
Unknown
rconc
[@1: Bob is rough.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "rough" "+")
Bob is not green.
Unknown
inv-rconc
[@2: Bob is green.[CWA. Example of deepest failure = (rule3 <- rule4 <- FAIL)]]
("Bob" "is" "green" "-")
Harry is green.
Unknown
rconc
[@1: Harry is green.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Harry" "is" "green" "+")
Charlie is not red.
Unknown
inv-rconc
[@2: Charlie is red.[CWA. Example of deepest failure = (rule6 <- rule2 <- FAIL)]]
("Charlie" "is" "red" "-")
Harry is rough.
Unknown
rconc
[@1: Harry is rough.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Harry" "is" "rough" "+")
Charlie is not big.
Unknown
inv-random
[@0: Charlie is big.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "big" "-")
Alan is cold.
Unknown
random
[@0: Alan is cold.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "cold" "+")
Harry is not cold.
Unknown
inv-random
[@0: Harry is cold.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "cold" "-")
Bob is nice.
Unknown
random
[@0: Bob is nice.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "nice" "+")
Bob is not cold.
Unknown
inv-random
[@0: Bob is cold.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "cold" "-")
Bob is big.
Unknown
random
[@0: Bob is big.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "big" "+")
@0: Alan is big.[(triple4)] Alan is blue.[(triple3)] Alan is nice.[(triple2)] Alan is young.[(triple1)] Bob is blue.[(triple6)] Bob is young.[(triple5)] Charlie is blue.[(triple10)] Charlie is green.[(triple9 OR ((triple10 triple8) -> rule3))] Charlie is kind.[(triple8)] Charlie is young.[(triple7)] Harry is nice.[(triple12)] Harry is red.[(triple11)] @1: Alan is rough.[(((triple4 triple2) -> rule2))] @2: Alan is kind.[(((triple4 ((triple4 triple2) -> rule2)) -> rule5))] @3: Alan is green.[(((triple3 ((triple4 ((triple4 triple2) -> rule2)) -> rule5)) -> rule3))] @4: Alan is red.[(((((triple3 ((triple4 ((triple4 triple2) -> rule2)) -> rule5)) -> rule3) ((triple4 triple2) -> rule2)) -> rule6))] @5: Alan is round.[(((((((triple3 ((triple4 ((triple4 triple2) -> rule2)) -> rule5)) -> rule3) ((triple4 triple2) -> rule2)) -> rule6) triple4) -> rule1))]
Alan is big.
("Alan" "is" "big" "+")
triple4
Alan is blue.
("Alan" "is" "blue" "+")
triple3
Alan is nice.
("Alan" "is" "nice" "+")
triple2
Alan is young.
("Alan" "is" "young" "+")
triple1
Bob is blue.
("Bob" "is" "blue" "+")
triple6
Bob is young.
("Bob" "is" "young" "+")
triple5
Charlie is blue.
("Charlie" "is" "blue" "+")
triple10
Charlie is green.
("Charlie" "is" "green" "+")
triple9
((triple10 triple8) -> (rule3 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
triple8
Charlie is young.
("Charlie" "is" "young" "+")
triple7
Harry is nice.
("Harry" "is" "nice" "+")
triple12
Harry is red.
("Harry" "is" "red" "+")
triple11
Alan is rough.
("Alan" "is" "rough" "+")
((triple4 triple2) -> (rule2 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is kind.
("Alan" "is" "kind" "+")
((triple4 ((triple4 triple2) -> (rule2 % int2))) -> (rule5 % int1))
Alan is kind.
("Alan" "is" "kind" "+")
int1
Alan is rough.
("Alan" "is" "rough" "+")
int2
Alan is green.
("Alan" "is" "green" "+")
((triple3 ((triple4 ((triple4 triple2) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Alan is kind.
("Alan" "is" "kind" "+")
int2
Alan is rough.
("Alan" "is" "rough" "+")
int3
Alan is red.
("Alan" "is" "red" "+")
((((triple3 ((triple4 ((triple4 triple2) -> (rule2 % int4))) -> (rule5 % int3))) -> (rule3 % int2)) ((triple4 triple2) -> (rule2 % int4))) -> (rule6 % int1))
Alan is red.
("Alan" "is" "red" "+")
int1
Alan is green.
("Alan" "is" "green" "+")
int2
Alan is kind.
("Alan" "is" "kind" "+")
int3
Alan is rough.
("Alan" "is" "rough" "+")
int4
Alan is round.
("Alan" "is" "round" "+")
((((((triple3 ((triple4 ((triple4 triple2) -> (rule2 % int5))) -> (rule5 % int4))) -> (rule3 % int3)) ((triple4 triple2) -> (rule2 % int5))) -> (rule6 % int2)) triple4) -> (rule1 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
int2
Alan is green.
("Alan" "is" "green" "+")
int3
Alan is kind.
("Alan" "is" "kind" "+")
int4
Alan is rough.
("Alan" "is" "rough" "+")
int5
Big blue Alan is nice and young.
From a certain angle Bob is blue but he is young so maybe that will go away.
Charlie associated himself with green despite being covered head-to-toe in blue; Him being young and kind preceded him.
Harry is a nice person who is red because he has a rash.
Red, big people can't help but be round as well.
I've been told that big, nice people are very rough.
A depressed person feeling blue who is kind cannot escape from being green.
People with big hands and red, rough skin are terribly kind.
Someone big and rough in shape is always kind.
You will discover that green rough people are always red.