Charlie is blue and cold. Dave wears all blue. Eric is a young, round, and rough person who is red with goosebumps because he is cold/. Gary is big and tends to wear red shirts. If you come across someone with rough skin and a big and round shape, you'll see that they are also a big green. Blue and red people are often rough. If someone is green skinned and has a big nose then you'll find that they often are nice to their family. Anyone that is nice and kind and also green will usually be young as well. Anyone who is round and also cold will surely be big as well.
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Eric is young.
("Eric" "is" "young" "+")
Eric is round.
("Eric" "is" "round" "+")
Eric is rough.
("Eric" "is" "rough" "+")
Eric is red.
("Eric" "is" "red" "+")
Eric is cold.
("Eric" "is" "cold" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is big.
("Gary" "is" "big" "+")
If someone is rough and round and big then they are green.
((("someone" "is" "rough" "+") ("someone" "is" "round" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "green" "+"))
If someone is blue and red then they are rough.
((("someone" "is" "blue" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "rough" "+"))
If someone is green and big then they are nice.
((("someone" "is" "green" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "nice" "+"))
If someone is green and nice and kind then they are young.
((("someone" "is" "green" "+") ("someone" "is" "nice" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "young" "+"))
If someone is round and cold then they are big.
((("someone" "is" "round" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "big" "+"))
Gary is big.
True
1
proof
[(triple10)]
("Gary" "is" "big" "+")
triple10
Eric is not cold.
False
1
inv-proof
[(triple8)]
("Eric" "is" "cold" "-")
triple8
Eric is big.
True
3
proof
[(((triple5 triple8) -> rule5))]
("Eric" "is" "big" "+")
((triple5 triple8) -> (rule5 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is not big.
False
3
inv-proof
[(((triple5 triple8) -> rule5))]
("Eric" "is" "big" "-")
((triple5 triple8) -> (rule5 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is green.
True
6
proof
[(((triple6 triple5 ((triple5 triple8) -> rule5)) -> rule1))]
("Eric" "is" "green" "+")
((triple6 triple5 ((triple5 triple8) -> (rule5 % int2))) -> (rule1 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
int2
Eric is not green.
False
6
inv-proof
[(((triple6 triple5 ((triple5 triple8) -> rule5)) -> rule1))]
("Eric" "is" "green" "-")
((triple6 triple5 ((triple5 triple8) -> (rule5 % int2))) -> (rule1 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
int2
Eric is nice.
True
10
proof
[(((((triple6 triple5 ((triple5 triple8) -> rule5)) -> rule1) ((triple5 triple8) -> rule5)) -> rule3))]
("Eric" "is" "nice" "+")
((((triple6 triple5 ((triple5 triple8) -> (rule5 % int3))) -> (rule1 % int2)) ((triple5 triple8) -> (rule5 % int3))) -> (rule3 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is green.
("Eric" "is" "green" "+")
int2
Eric is big.
("Eric" "is" "big" "+")
int3
Eric is not nice.
False
10
inv-proof
[(((((triple6 triple5 ((triple5 triple8) -> rule5)) -> rule1) ((triple5 triple8) -> rule5)) -> rule3))]
("Eric" "is" "nice" "-")
((((triple6 triple5 ((triple5 triple8) -> (rule5 % int3))) -> (rule1 % int2)) ((triple5 triple8) -> (rule5 % int3))) -> (rule3 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is green.
("Eric" "is" "green" "+")
int2
Eric is big.
("Eric" "is" "big" "+")
int3
Charlie is not green.
Unknown
inv-rconc
[@1: Charlie is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "green" "-")
Gary is nice.
Unknown
rconc
[@2: Gary is nice.[CWA. Example of deepest failure = (rule3 <- rule1 <- FAIL)]]
("Gary" "is" "nice" "+")
Dave is not nice.
Unknown
inv-rconc
[@2: Dave is nice.[CWA. Example of deepest failure = (rule3 <- rule1 <- FAIL)]]
("Dave" "is" "nice" "-")
Charlie is nice.
Unknown
rconc
[@2: Charlie is nice.[CWA. Example of deepest failure = (rule3 <- rule1 <- FAIL)]]
("Charlie" "is" "nice" "+")
Eric is not blue.
Unknown
inv-random
[@0: Eric is blue.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "blue" "-")
Gary is kind.
Unknown
random
[@0: Gary is kind.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "kind" "+")
Charlie is not round.
Unknown
inv-random
[@0: Charlie is round.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "round" "-")
Dave is kind.
Unknown
random
[@0: Dave is kind.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "kind" "+")
@0: Charlie is blue.[(triple2)] Charlie is cold.[(triple1)] Dave is blue.[(triple3)] Eric is cold.[(triple8)] Eric is red.[(triple7)] Eric is rough.[(triple6)] Eric is round.[(triple5)] Eric is young.[(triple4)] Gary is big.[(triple10)] Gary is red.[(triple9)] @1: Eric is big.[(((triple5 triple8) -> rule5))] @2: Eric is green.[(((triple6 triple5 ((triple5 triple8) -> rule5)) -> rule1))] @3: Eric is nice.[(((((triple6 triple5 ((triple5 triple8) -> rule5)) -> rule1) ((triple5 triple8) -> rule5)) -> rule3))]
Charlie is blue.
("Charlie" "is" "blue" "+")
triple2
Charlie is cold.
("Charlie" "is" "cold" "+")
triple1
Dave is blue.
("Dave" "is" "blue" "+")
triple3
Eric is cold.
("Eric" "is" "cold" "+")
triple8
Eric is red.
("Eric" "is" "red" "+")
triple7
Eric is rough.
("Eric" "is" "rough" "+")
triple6
Eric is round.
("Eric" "is" "round" "+")
triple5
Eric is young.
("Eric" "is" "young" "+")
triple4
Gary is big.
("Gary" "is" "big" "+")
triple10
Gary is red.
("Gary" "is" "red" "+")
triple9
Eric is big.
("Eric" "is" "big" "+")
((triple5 triple8) -> (rule5 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is green.
("Eric" "is" "green" "+")
((triple6 triple5 ((triple5 triple8) -> (rule5 % int2))) -> (rule1 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
int2
Eric is nice.
("Eric" "is" "nice" "+")
((((triple6 triple5 ((triple5 triple8) -> (rule5 % int3))) -> (rule1 % int2)) ((triple5 triple8) -> (rule5 % int3))) -> (rule3 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is green.
("Eric" "is" "green" "+")
int2
Eric is big.
("Eric" "is" "big" "+")
int3
Charlie is blue and cold.
Dave wears all blue.
Eric is a young, round, and rough person who is red with goosebumps because he is cold/.
Gary is big and tends to wear red shirts.
If you come across someone with rough skin and a big and round shape, you'll see that they are also a big green.
Blue and red people are often rough.
If someone is green skinned and has a big nose then you'll find that they often are nice to their family.
Anyone that is nice and kind and also green will usually be young as well.
Anyone who is round and also cold will surely be big as well.