They always call him rough Alan. That cold kind hearted man over there with the round body, red nose, and rough blue hsirt is named Charlie. They always call him rough Eric. Young people tend to be blue all the time and rough. If a person is red and green, then they will present as big. If someone is blue, young, and rough, they qualify as being round. A human that's round, red and kind will be also be a green human. If a person behaves in a nice way while they are physically blue and big, they're definitely round. People that are big but also green, may ultimately be very nice. If you ever find someone who's nice, rough, and blue, expect them to also be green.
Alan is rough.
("Alan" "is" "rough" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Eric is rough.
("Eric" "is" "rough" "+")
If someone is blue and young then they are rough.
((("someone" "is" "blue" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "rough" "+"))
If someone is red and green then they are big.
((("someone" "is" "red" "+") ("someone" "is" "green" "+")) -> ("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 round and kind then they are green.
((("someone" "is" "red" "+") ("someone" "is" "round" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "green" "+"))
If someone is nice and blue and big then they are round.
((("someone" "is" "nice" "+") ("someone" "is" "blue" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "round" "+"))
If someone is big and green then they are nice.
((("someone" "is" "big" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "nice" "+"))
If someone is nice and rough and blue then they are green.
((("someone" "is" "nice" "+") ("someone" "is" "rough" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "green" "+"))
Charlie is round.
True
1
proof
[(triple2)]
("Charlie" "is" "round" "+")
triple2
Charlie is not round.
False
1
inv-proof
[(triple2)]
("Charlie" "is" "round" "-")
triple2
Charlie is green.
True
4
proof
[(((triple4 triple2 triple5) -> rule4))]
("Charlie" "is" "green" "+")
((triple4 triple2 triple5) -> (rule4 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is not green.
False
4
inv-proof
[(((triple4 triple2 triple5) -> rule4))]
("Charlie" "is" "green" "-")
((triple4 triple2 triple5) -> (rule4 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is big.
True
6
proof
[(((triple4 ((triple4 triple2 triple5) -> rule4)) -> rule2))]
("Charlie" "is" "big" "+")
((triple4 ((triple4 triple2 triple5) -> (rule4 % int2))) -> (rule2 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is not big.
False
6
inv-proof
[(((triple4 ((triple4 triple2 triple5) -> rule4)) -> rule2))]
("Charlie" "is" "big" "-")
((triple4 ((triple4 triple2 triple5) -> (rule4 % int2))) -> (rule2 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is nice.
True
11
proof
[(((((triple4 ((triple4 triple2 triple5) -> rule4)) -> rule2) ((triple4 triple2 triple5) -> rule4)) -> rule6))]
("Charlie" "is" "nice" "+")
((((triple4 ((triple4 triple2 triple5) -> (rule4 % int3))) -> (rule2 % int2)) ((triple4 triple2 triple5) -> (rule4 % int3))) -> (rule6 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is not nice.
False
11
inv-proof
[(((((triple4 ((triple4 triple2 triple5) -> rule4)) -> rule2) ((triple4 triple2 triple5) -> rule4)) -> rule6))]
("Charlie" "is" "nice" "-")
((((triple4 ((triple4 triple2 triple5) -> (rule4 % int3))) -> (rule2 % int2)) ((triple4 triple2 triple5) -> (rule4 % int3))) -> (rule6 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Bob is not rough.
Unknown
inv-rconc
[@1: Bob is rough.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "rough" "-")
Bob is big.
Unknown
rconc
[@1: Bob is big.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "big" "+")
Eric is not round.
Unknown
inv-rconc
[@1: Eric is round.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Eric" "is" "round" "-")
Eric is big.
Unknown
rconc
[@1: Eric is big.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Eric" "is" "big" "+")
Bob is not red.
Unknown
inv-random
[@0: Bob is red.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "red" "-")
Alan is blue.
Unknown
random
[@0: Alan is blue.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "blue" "+")
Eric is not young.
Unknown
inv-random
[@0: Eric is young.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "young" "-")
Alan is red.
Unknown
random
[@0: Alan is red.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "red" "+")
@0: Alan is rough.[(triple1)] Charlie is blue.[(triple7)] Charlie is cold.[(triple6)] Charlie is kind.[(triple5)] Charlie is red.[(triple4)] Charlie is rough.[(triple3)] Charlie is round.[(triple2)] Eric is rough.[(triple8)] @1: Charlie is green.[(((triple4 triple2 triple5) -> rule4))] @2: Charlie is big.[(((triple4 ((triple4 triple2 triple5) -> rule4)) -> rule2))] @3: Charlie is nice.[(((((triple4 ((triple4 triple2 triple5) -> rule4)) -> rule2) ((triple4 triple2 triple5) -> rule4)) -> rule6))]
Alan is rough.
("Alan" "is" "rough" "+")
triple1
Charlie is blue.
("Charlie" "is" "blue" "+")
triple7
Charlie is cold.
("Charlie" "is" "cold" "+")
triple6
Charlie is kind.
("Charlie" "is" "kind" "+")
triple5
Charlie is red.
("Charlie" "is" "red" "+")
triple4
Charlie is rough.
("Charlie" "is" "rough" "+")
triple3
Charlie is round.
("Charlie" "is" "round" "+")
triple2
Eric is rough.
("Eric" "is" "rough" "+")
triple8
Charlie is green.
("Charlie" "is" "green" "+")
((triple4 triple2 triple5) -> (rule4 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
((triple4 ((triple4 triple2 triple5) -> (rule4 % int2))) -> (rule2 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
((((triple4 ((triple4 triple2 triple5) -> (rule4 % int3))) -> (rule2 % int2)) ((triple4 triple2 triple5) -> (rule4 % int3))) -> (rule6 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
They always call him rough Alan.
That cold kind hearted man over there with the round body, red nose, and rough blue hsirt is named Charlie.
They always call him rough Eric.
Young people tend to be blue all the time and rough.
If a person is red and green, then they will present as big.
If someone is blue, young, and rough, they qualify as being round.
A human that's round, red and kind will be also be a green human.
If a person behaves in a nice way while they are physically blue and big, they're definitely round.
People that are big but also green, may ultimately be very nice.
If you ever find someone who's nice, rough, and blue, expect them to also be green.