Alan is too round for someone so young. Also, he is sometimes red and sometimes green. Bob ate some rotten meat and now feels green. Charlie is rough, but often feels blue. He is pretty young. The cold, nice, kind man with a round body is known as Harry. Young, green round people are big. If someone is blue, young, and rough, they qualify as being round. When anyone is young, red and green, you know they'll also be blue. John is round and rough, meaning that he is someone that is seen as green.
Alan is young.
("Alan" "is" "young" "+")
Alan is round.
("Alan" "is" "round" "+")
Alan is red.
("Alan" "is" "red" "+")
Alan is green.
("Alan" "is" "green" "+")
Bob is green.
("Bob" "is" "green" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is cold.
("Harry" "is" "cold" "+")
If someone is green and young and round then they are big.
((("someone" "is" "green" "+") ("someone" "is" "young" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "big" "+"))
If someone is rough and young and blue then they are round.
((("someone" "is" "rough" "+") ("someone" "is" "young" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "round" "+"))
If someone is red and young and green then they are blue.
((("someone" "is" "red" "+") ("someone" "is" "young" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "blue" "+"))
If someone is round and rough then they are green.
((("someone" "is" "round" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "green" "+"))
Harry is round.
True
1
proof
[(triple9)]
("Harry" "is" "round" "+")
triple9
Harry is not cold.
False
1
inv-proof
[(triple12)]
("Harry" "is" "cold" "-")
triple12
Charlie is round.
True
4
proof
[(((triple7 triple6 triple8) -> rule2))]
("Charlie" "is" "round" "+")
((triple7 triple6 triple8) -> (rule2 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Alan is not big.
False
4
inv-proof
[(((triple4 triple1 triple2) -> rule1))]
("Alan" "is" "big" "-")
((triple4 triple1 triple2) -> (rule1 % int1))
Alan is big.
("Alan" "is" "big" "+")
int1
Charlie is green.
True
6
proof
[(((((triple7 triple6 triple8) -> rule2) triple7) -> rule4))]
("Charlie" "is" "green" "+")
((((triple7 triple6 triple8) -> (rule2 % int2)) triple7) -> (rule4 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is not green.
False
6
inv-proof
[(((((triple7 triple6 triple8) -> rule2) triple7) -> rule4))]
("Charlie" "is" "green" "-")
((((triple7 triple6 triple8) -> (rule2 % int2)) triple7) -> (rule4 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is big.
True
12
proof
[(((((((triple7 triple6 triple8) -> rule2) triple7) -> rule4) triple6 ((triple7 triple6 triple8) -> rule2)) -> rule1))]
("Charlie" "is" "big" "+")
((((((triple7 triple6 triple8) -> (rule2 % int3)) triple7) -> (rule4 % int2)) triple6 ((triple7 triple6 triple8) -> (rule2 % int3))) -> (rule1 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Charlie is not big.
False
12
inv-proof
[(((((((triple7 triple6 triple8) -> rule2) triple7) -> rule4) triple6 ((triple7 triple6 triple8) -> rule2)) -> rule1))]
("Charlie" "is" "big" "-")
((((((triple7 triple6 triple8) -> (rule2 % int3)) triple7) -> (rule4 % int2)) triple6 ((triple7 triple6 triple8) -> (rule2 % int3))) -> (rule1 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Bob is not blue.
Unknown
inv-rconc
[@1: Bob is blue.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Bob" "is" "blue" "-")
Bob is big.
Unknown
rconc
[@1: Bob is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "big" "+")
Harry is not blue.
Unknown
inv-rconc
[@1: Harry is blue.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Harry" "is" "blue" "-")
Bob is round.
Unknown
rconc
[@1: Bob is round.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "round" "+")
Bob is not nice.
Unknown
inv-random
[@0: Bob is nice.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "nice" "-")
Bob is kind.
Unknown
random
[@0: Bob is kind.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "kind" "+")
Bob is not rough.
Unknown
inv-random
[@0: Bob is rough.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "rough" "-")
Harry is young.
Unknown
random
[@0: Harry is young.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "young" "+")
@0: Alan is green.[(triple4)] Alan is red.[(triple3)] Alan is round.[(triple2)] Alan is young.[(triple1)] Bob is green.[(triple5)] Charlie is blue.[(triple8)] Charlie is rough.[(triple7)] Charlie is young.[(triple6)] Harry is cold.[(triple12)] Harry is kind.[(triple11)] Harry is nice.[(triple10)] Harry is round.[(triple9)] @1: Alan is big.[(((triple4 triple1 triple2) -> rule1))] Alan is blue.[(((triple3 triple1 triple4) -> rule3))] Charlie is round.[(((triple7 triple6 triple8) -> rule2))] @2: Charlie is green.[(((((triple7 triple6 triple8) -> rule2) triple7) -> rule4))] @3: Charlie is big.[(((((((triple7 triple6 triple8) -> rule2) triple7) -> rule4) triple6 ((triple7 triple6 triple8) -> rule2)) -> rule1))]
Alan is green.
("Alan" "is" "green" "+")
triple4
Alan is red.
("Alan" "is" "red" "+")
triple3
Alan is round.
("Alan" "is" "round" "+")
triple2
Alan is young.
("Alan" "is" "young" "+")
triple1
Bob is green.
("Bob" "is" "green" "+")
triple5
Charlie is blue.
("Charlie" "is" "blue" "+")
triple8
Charlie is rough.
("Charlie" "is" "rough" "+")
triple7
Charlie is young.
("Charlie" "is" "young" "+")
triple6
Harry is cold.
("Harry" "is" "cold" "+")
triple12
Harry is kind.
("Harry" "is" "kind" "+")
triple11
Harry is nice.
("Harry" "is" "nice" "+")
triple10
Harry is round.
("Harry" "is" "round" "+")
triple9
Alan is big.
("Alan" "is" "big" "+")
((triple4 triple1 triple2) -> (rule1 % int1))
Alan is big.
("Alan" "is" "big" "+")
int1
Alan is blue.
("Alan" "is" "blue" "+")
((triple3 triple1 triple4) -> (rule3 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
((triple7 triple6 triple8) -> (rule2 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
((((triple7 triple6 triple8) -> (rule2 % int2)) triple7) -> (rule4 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
((((((triple7 triple6 triple8) -> (rule2 % int3)) triple7) -> (rule4 % int2)) triple6 ((triple7 triple6 triple8) -> (rule2 % int3))) -> (rule1 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Alan is too round for someone so young; Also, he is sometimes red and sometimes green.
Bob ate some rotten meat and now feels green.
Charlie is rough, but often feels blue; He is pretty young.
The cold, nice, kind man with a round body is known as Harry.
Young, green round people are big.
If someone is blue, young, and rough, they qualify as being round.
When anyone is young, red and green, you know they'll also be blue.
John is round and rough, meaning that he is someone that is seen as green.