Red Eric is what folks call him, because he is quite red. Young Gary is red, green and cold. If you met Harry, you will find that he is round and young, he is also cold and big. A cold and young aged person will be big for sure. His cheeks were red from the cold, and his big blue eye were watering. Nice people who are big are always feeling blue. A big rough person are also young of age. Someone blue and red is definitely round and dressed as a clown.
Eric is red.
("Eric" "is" "red" "+")
Gary is young.
("Gary" "is" "young" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Harry is young.
("Harry" "is" "young" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is big.
("Harry" "is" "big" "+")
If someone is young and cold then they are big.
((("someone" "is" "young" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "big" "+"))
If someone is red and big and cold then they are blue.
((("someone" "is" "red" "+") ("someone" "is" "big" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "blue" "+"))
If someone is nice and big then they are blue.
((("someone" "is" "nice" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "blue" "+"))
If someone is big and rough then they are young.
((("someone" "is" "big" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "young" "+"))
If someone is blue and red then they are round.
((("someone" "is" "blue" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "round" "+"))
Harry is big.
True
1
proof
[(triple9 OR ((triple6 triple8) -> rule1))]
("Harry" "is" "big" "+")
triple9
((triple6 triple8) -> (rule1 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is not young.
False
1
inv-proof
[(triple6)]
("Harry" "is" "young" "-")
triple6
Gary is big.
True
3
proof
[(((triple2 triple5) -> rule1))]
("Gary" "is" "big" "+")
((triple2 triple5) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is not big.
False
3
inv-proof
[(((triple2 triple5) -> rule1))]
("Gary" "is" "big" "-")
((triple2 triple5) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is blue.
True
6
proof
[(((triple3 ((triple2 triple5) -> rule1) triple5) -> rule2))]
("Gary" "is" "blue" "+")
((triple3 ((triple2 triple5) -> (rule1 % int2)) triple5) -> (rule2 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is not blue.
False
6
inv-proof
[(((triple3 ((triple2 triple5) -> rule1) triple5) -> rule2))]
("Gary" "is" "blue" "-")
((triple3 ((triple2 triple5) -> (rule1 % int2)) triple5) -> (rule2 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is round.
True
8
proof
[(((((triple3 ((triple2 triple5) -> rule1) triple5) -> rule2) triple3) -> rule5))]
("Gary" "is" "round" "+")
((((triple3 ((triple2 triple5) -> (rule1 % int3)) triple5) -> (rule2 % int2)) triple3) -> (rule5 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Gary is not round.
False
8
inv-proof
[(((((triple3 ((triple2 triple5) -> rule1) triple5) -> rule2) triple3) -> rule5))]
("Gary" "is" "round" "-")
((((triple3 ((triple2 triple5) -> (rule1 % int3)) triple5) -> (rule2 % int2)) triple3) -> (rule5 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Eric is not big.
Unknown
inv-rconc
[@1: Eric is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Eric" "is" "big" "-")
Eric is round.
Unknown
rconc
[@2: Eric is round.[CWA. Example of deepest failure = (rule5 <- rule2 <- FAIL)]]
("Eric" "is" "round" "+")
Dave is not round.
Unknown
inv-rconc
[@1: Dave is round.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Dave" "is" "round" "-")
Harry is blue.
Unknown
rconc
[@1: Harry is blue.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Harry" "is" "blue" "+")
Gary is not nice.
Unknown
inv-random
[@0: Gary is nice.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "nice" "-")
Harry is kind.
Unknown
random
[@0: Harry is kind.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "kind" "+")
Dave is not rough.
Unknown
inv-random
[@0: Dave is rough.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "rough" "-")
Eric is kind.
Unknown
random
[@0: Eric is kind.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "kind" "+")
@0: Eric is red.[(triple1)] Gary is cold.[(triple5)] Gary is green.[(triple4)] Gary is red.[(triple3)] Gary is young.[(triple2)] Harry is big.[(triple9 OR ((triple6 triple8) -> rule1))] Harry is cold.[(triple8)] Harry is round.[(triple7)] Harry is young.[(triple6)] @1: Gary is big.[(((triple2 triple5) -> rule1))] @2: Gary is blue.[(((triple3 ((triple2 triple5) -> rule1) triple5) -> rule2))] @3: Gary is round.[(((((triple3 ((triple2 triple5) -> rule1) triple5) -> rule2) triple3) -> rule5))]
Eric is red.
("Eric" "is" "red" "+")
triple1
Gary is cold.
("Gary" "is" "cold" "+")
triple5
Gary is green.
("Gary" "is" "green" "+")
triple4
Gary is red.
("Gary" "is" "red" "+")
triple3
Gary is young.
("Gary" "is" "young" "+")
triple2
Harry is big.
("Harry" "is" "big" "+")
triple9
((triple6 triple8) -> (rule1 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
triple8
Harry is round.
("Harry" "is" "round" "+")
triple7
Harry is young.
("Harry" "is" "young" "+")
triple6
Gary is big.
("Gary" "is" "big" "+")
((triple2 triple5) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
((triple3 ((triple2 triple5) -> (rule1 % int2)) triple5) -> (rule2 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
((((triple3 ((triple2 triple5) -> (rule1 % int3)) triple5) -> (rule2 % int2)) triple3) -> (rule5 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Red Eric is what folks call him, because he is quite red.
Young Gary is red, green and cold.
If you met Harry, you will find that he is round and young, he is also cold and big.
A cold and young aged person will be big for sure.
His cheeks were red from the cold, and his big blue eye were watering.
Nice people who are big are always feeling blue.
A big rough person are also young of age.
Someone blue and red is definitely round and dressed as a clown.