Bob is a big gentleman who is very nice. He is secretly green with envy. Charlie was born only a few years ago so he is young. Eric is a kind and red colored guy. Gary is sometimes cold and blue, but he can also be kind and big. Their actions reflected how young and kind but green they were making things seem blue. A cold temperatured and green colored person who is also big will be young. Rough people are often always nice. Big, round, red people are always so young. Nice people are kind and rough when they are young. Anyone will tell you the kind and the big are also rough. Anybody that is blue, red and cold will also be round, for sure.
Bob is nice.
("Bob" "is" "nice" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is big.
("Bob" "is" "big" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Eric is red.
("Eric" "is" "red" "+")
Eric is kind.
("Eric" "is" "kind" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is big.
("Gary" "is" "big" "+")
If someone is young and kind and green then they are blue.
((("someone" "is" "young" "+") ("someone" "is" "kind" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "blue" "+"))
If someone is big and green and cold then they are young.
((("someone" "is" "big" "+") ("someone" "is" "green" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "young" "+"))
If someone is rough then they are nice.
((("someone" "is" "rough" "+")) -> ("someone" "is" "nice" "+"))
If someone is big and round and red then they are young.
((("someone" "is" "big" "+") ("someone" "is" "round" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "young" "+"))
If someone is nice and kind and rough then they are young.
((("someone" "is" "nice" "+") ("someone" "is" "kind" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "young" "+"))
If someone is big and kind then they are rough.
((("someone" "is" "big" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "rough" "+"))
If someone is blue and cold and red then they are round.
((("someone" "is" "blue" "+") ("someone" "is" "cold" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "round" "+"))
Bob is green.
True
1
proof
[(triple2)]
("Bob" "is" "green" "+")
triple2
Eric is not kind.
False
1
inv-proof
[(triple6)]
("Eric" "is" "kind" "-")
triple6
Gary is rough.
True
3
proof
[(((triple10 triple7) -> rule6))]
("Gary" "is" "rough" "+")
((triple10 triple7) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is not rough.
False
3
inv-proof
[(((triple10 triple7) -> rule6))]
("Gary" "is" "rough" "-")
((triple10 triple7) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is nice.
True
4
proof
[(((((triple10 triple7) -> rule6)) -> rule3))]
("Gary" "is" "nice" "+")
((((triple10 triple7) -> (rule6 % int2))) -> (rule3 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is not nice.
False
4
inv-proof
[(((((triple10 triple7) -> rule6)) -> rule3))]
("Gary" "is" "nice" "-")
((((triple10 triple7) -> (rule6 % int2))) -> (rule3 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is young.
True
9
proof
[(((((((triple10 triple7) -> rule6)) -> rule3) triple7 ((triple10 triple7) -> rule6)) -> rule5))]
("Gary" "is" "young" "+")
((((((triple10 triple7) -> (rule6 % int3))) -> (rule3 % int2)) triple7 ((triple10 triple7) -> (rule6 % int3))) -> (rule5 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is not young.
False
9
inv-proof
[(((((((triple10 triple7) -> rule6)) -> rule3) triple7 ((triple10 triple7) -> rule6)) -> rule5))]
("Gary" "is" "young" "-")
((((((triple10 triple7) -> (rule6 % int3))) -> (rule3 % int2)) triple7 ((triple10 triple7) -> (rule6 % int3))) -> (rule5 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Charlie is not blue.
Unknown
inv-rconc
[@1: Charlie is blue.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "blue" "-")
Bob is blue.
Unknown
rconc
[@1: Bob is blue.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "blue" "+")
Eric is not blue.
Unknown
inv-rconc
[@1: Eric is blue.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Eric" "is" "blue" "-")
Eric is nice.
Unknown
rconc
[@2: Eric is nice.[CWA. Example of deepest failure = (rule3 <- rule6 <- FAIL)]]
("Eric" "is" "nice" "+")
Charlie is not big.
Unknown
inv-random
[@0: Charlie is big.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "big" "-")
Bob is cold.
Unknown
random
[@0: Bob is cold.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "cold" "+")
Eric is not big.
Unknown
inv-random
[@0: Eric is big.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "big" "-")
Charlie is kind.
Unknown
random
[@0: Charlie is kind.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "kind" "+")
@0: Bob is big.[(triple3)] Bob is green.[(triple2)] Bob is nice.[(triple1)] Charlie is young.[(triple4)] Eric is kind.[(triple6)] Eric is red.[(triple5)] Gary is big.[(triple10)] Gary is blue.[(triple9)] Gary is cold.[(triple8)] Gary is kind.[(triple7)] @1: Gary is rough.[(((triple10 triple7) -> rule6))] @2: Gary is nice.[(((((triple10 triple7) -> rule6)) -> rule3))] @3: Gary is young.[(((((((triple10 triple7) -> rule6)) -> rule3) triple7 ((triple10 triple7) -> rule6)) -> rule5))]
Bob is big.
("Bob" "is" "big" "+")
triple3
Bob is green.
("Bob" "is" "green" "+")
triple2
Bob is nice.
("Bob" "is" "nice" "+")
triple1
Charlie is young.
("Charlie" "is" "young" "+")
triple4
Eric is kind.
("Eric" "is" "kind" "+")
triple6
Eric is red.
("Eric" "is" "red" "+")
triple5
Gary is big.
("Gary" "is" "big" "+")
triple10
Gary is blue.
("Gary" "is" "blue" "+")
triple9
Gary is cold.
("Gary" "is" "cold" "+")
triple8
Gary is kind.
("Gary" "is" "kind" "+")
triple7
Gary is rough.
("Gary" "is" "rough" "+")
((triple10 triple7) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
((((triple10 triple7) -> (rule6 % int2))) -> (rule3 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
((((((triple10 triple7) -> (rule6 % int3))) -> (rule3 % int2)) triple7 ((triple10 triple7) -> (rule6 % int3))) -> (rule5 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Bob is a big gentleman who is very nice; He is secretly green with envy.
Charlie was born only a few years ago so he is young.
Eric is a kind and red colored guy.
Gary is sometimes cold and blue, but he can also be kind and big.
Their actions reflected how young and kind but green they were making things seem blue.
A cold temperatured and green colored person who is also big will be young.
Rough people are often always nice.
Big, round, red people are always so young.
Nice people are kind and rough when they are young.
Anyone will tell you the kind and the big are also rough.
Anybody that is blue, red and cold will also be round, for sure.