Bob was born only a few years ago so he is young. Charlie looks to be red, green, and blue, he is also round and rough. Gary is a nice round guy, which leads to him being red. Harry was born only a few years ago so he is young. A green and red colored person who is rather nice will definitely be kind. Watch out for the rough and round kind people for they cold to others. People who are cold to others can also be nice and when they are it's a sure bet they are being big about it. People feeling green and blue are somewhat nice. A blue person who is young and rough is also red. A person who is very round is nice but also quite rough.
Bob is young.
("Bob" "is" "young" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Harry is young.
("Harry" "is" "young" "+")
If someone is green and nice and red then they are kind.
((("someone" "is" "green" "+") ("someone" "is" "nice" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "kind" "+"))
If someone is rough and round and kind then they are cold.
((("someone" "is" "rough" "+") ("someone" "is" "round" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "cold" "+"))
If someone is cold and nice then they are big.
((("someone" "is" "cold" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "big" "+"))
If someone is green and blue then they are nice.
((("someone" "is" "green" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "nice" "+"))
If someone is blue and young and rough then they are red.
((("someone" "is" "blue" "+") ("someone" "is" "young" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "red" "+"))
If someone is round and nice then they are rough.
((("someone" "is" "round" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "rough" "+"))
Bob is young.
True
1
proof
[(triple1)]
("Bob" "is" "young" "+")
triple1
Charlie is not rough.
False
1
inv-proof
[(triple3 OR ((triple2 ((triple5 triple6) -> rule4)) -> rule6))]
("Charlie" "is" "rough" "-")
triple3
((triple2 ((triple5 triple6) -> (rule4 % int2))) -> (rule6 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Gary is rough.
True
3
proof
[(((triple7 triple9) -> rule6))]
("Gary" "is" "rough" "+")
((triple7 triple9) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is not rough.
False
3
inv-proof
[(((triple7 triple9) -> rule6))]
("Gary" "is" "rough" "-")
((triple7 triple9) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Charlie is kind.
True
6
proof
[(((triple5 ((triple5 triple6) -> rule4) triple4) -> rule1))]
("Charlie" "is" "kind" "+")
((triple5 ((triple5 triple6) -> (rule4 % int2)) triple4) -> (rule1 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is not kind.
False
6
inv-proof
[(((triple5 ((triple5 triple6) -> rule4) triple4) -> rule1))]
("Charlie" "is" "kind" "-")
((triple5 ((triple5 triple6) -> (rule4 % int2)) triple4) -> (rule1 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is cold.
True
9
proof
[(((triple3 triple2 ((triple5 ((triple5 triple6) -> rule4) triple4) -> rule1)) -> rule2) OR ((((triple2 ((triple5 triple6) -> rule4)) -> rule6) triple2 ((triple5 ((triple5 triple6) -> rule4) triple4) -> rule1)) -> rule2))]
("Charlie" "is" "cold" "+")
((triple3 triple2 ((triple5 ((triple5 triple6) -> (rule4 % int3)) triple4) -> (rule1 % int2))) -> (rule2 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
((((triple2 ((triple5 triple6) -> (rule4 % int4))) -> (rule6 % int3)) triple2 ((triple5 ((triple5 triple6) -> (rule4 % int4)) triple4) -> (rule1 % int2))) -> (rule2 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is nice.
("Charlie" "is" "nice" "+")
int4
Charlie is not cold.
False
9
inv-proof
[(((triple3 triple2 ((triple5 ((triple5 triple6) -> rule4) triple4) -> rule1)) -> rule2) OR ((((triple2 ((triple5 triple6) -> rule4)) -> rule6) triple2 ((triple5 ((triple5 triple6) -> rule4) triple4) -> rule1)) -> rule2))]
("Charlie" "is" "cold" "-")
((triple3 triple2 ((triple5 ((triple5 triple6) -> (rule4 % int3)) triple4) -> (rule1 % int2))) -> (rule2 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
((((triple2 ((triple5 triple6) -> (rule4 % int4))) -> (rule6 % int3)) triple2 ((triple5 ((triple5 triple6) -> (rule4 % int4)) triple4) -> (rule1 % int2))) -> (rule2 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is nice.
("Charlie" "is" "nice" "+")
int4
Charlie is big.
True
13
proof
[(((((triple3 triple2 ((triple5 ((triple5 triple6) -> rule4) triple4) -> rule1)) -> rule2) ((triple5 triple6) -> rule4)) -> rule3) OR ((((((triple2 ((triple5 triple6) -> rule4)) -> rule6) triple2 ((triple5 ((triple5 triple6) -> rule4) triple4) -> rule1)) -> rule2) ((triple5 triple6) -> rule4)) -> rule3))]
("Charlie" "is" "big" "+")
((((triple3 triple2 ((triple5 ((triple5 triple6) -> (rule4 % int4)) triple4) -> (rule1 % int3))) -> (rule2 % int2)) ((triple5 triple6) -> (rule4 % int4))) -> (rule3 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is nice.
("Charlie" "is" "nice" "+")
int4
((((((triple2 ((triple5 triple6) -> (rule4 % int5))) -> (rule6 % int4)) triple2 ((triple5 ((triple5 triple6) -> (rule4 % int5)) triple4) -> (rule1 % int3))) -> (rule2 % int2)) ((triple5 triple6) -> (rule4 % int5))) -> (rule3 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
int4
Charlie is nice.
("Charlie" "is" "nice" "+")
int5
Charlie is not big.
False
13
inv-proof
[(((((triple3 triple2 ((triple5 ((triple5 triple6) -> rule4) triple4) -> rule1)) -> rule2) ((triple5 triple6) -> rule4)) -> rule3) OR ((((((triple2 ((triple5 triple6) -> rule4)) -> rule6) triple2 ((triple5 ((triple5 triple6) -> rule4) triple4) -> rule1)) -> rule2) ((triple5 triple6) -> rule4)) -> rule3))]
("Charlie" "is" "big" "-")
((((triple3 triple2 ((triple5 ((triple5 triple6) -> (rule4 % int4)) triple4) -> (rule1 % int3))) -> (rule2 % int2)) ((triple5 triple6) -> (rule4 % int4))) -> (rule3 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is nice.
("Charlie" "is" "nice" "+")
int4
((((((triple2 ((triple5 triple6) -> (rule4 % int5))) -> (rule6 % int4)) triple2 ((triple5 ((triple5 triple6) -> (rule4 % int5)) triple4) -> (rule1 % int3))) -> (rule2 % int2)) ((triple5 triple6) -> (rule4 % int5))) -> (rule3 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
int4
Charlie is nice.
("Charlie" "is" "nice" "+")
int5
Gary is not cold.
Unknown
inv-rconc
[@2: Gary is cold.[CWA. Example of deepest failure = (rule2 <- rule1 <- FAIL)]]
("Gary" "is" "cold" "-")
Bob is kind.
Unknown
rconc
[@1: Bob is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "kind" "+")
Harry is not big.
Unknown
inv-rconc
[@2: Harry is big.[CWA. Example of deepest failure = (rule3 <- rule2 <- FAIL)]]
("Harry" "is" "big" "-")
Harry is rough.
Unknown
rconc
[@1: Harry is rough.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Harry" "is" "rough" "+")
Harry is not cold.
Unknown
inv-rconc
[@1: Harry is cold.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Harry" "is" "cold" "-")
Gary is green.
Unknown
random
[@0: Gary is green.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "green" "+")
Gary is not young.
Unknown
inv-random
[@0: Gary is young.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "young" "-")
Bob is green.
Unknown
random
[@0: Bob is green.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "green" "+")
Charlie is not young.
Unknown
inv-random
[@0: Charlie is young.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "young" "-")
Harry is green.
Unknown
random
[@0: Harry is green.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "green" "+")
@0: Bob is young.[(triple1)] Charlie is blue.[(triple6)] Charlie is green.[(triple5)] Charlie is red.[(triple4)] Charlie is rough.[(triple3 OR ((triple2 ((triple5 triple6) -> rule4)) -> rule6))] Charlie is round.[(triple2)] Gary is nice.[(triple9)] Gary is red.[(triple8)] Gary is round.[(triple7)] Harry is young.[(triple10)] @1: Charlie is nice.[(((triple5 triple6) -> rule4))] Gary is rough.[(((triple7 triple9) -> rule6))] @2: Charlie is kind.[(((triple5 ((triple5 triple6) -> rule4) triple4) -> rule1))] @3: Charlie is cold.[(((triple3 triple2 ((triple5 ((triple5 triple6) -> rule4) triple4) -> rule1)) -> rule2) OR ((((triple2 ((triple5 triple6) -> rule4)) -> rule6) triple2 ((triple5 ((triple5 triple6) -> rule4) triple4) -> rule1)) -> rule2))] @4: Charlie is big.[(((((triple3 triple2 ((triple5 ((triple5 triple6) -> rule4) triple4) -> rule1)) -> rule2) ((triple5 triple6) -> rule4)) -> rule3) OR ((((((triple2 ((triple5 triple6) -> rule4)) -> rule6) triple2 ((triple5 ((triple5 triple6) -> rule4) triple4) -> rule1)) -> rule2) ((triple5 triple6) -> rule4)) -> rule3))]
Bob is young.
("Bob" "is" "young" "+")
triple1
Charlie is blue.
("Charlie" "is" "blue" "+")
triple6
Charlie is green.
("Charlie" "is" "green" "+")
triple5
Charlie is red.
("Charlie" "is" "red" "+")
triple4
Charlie is rough.
("Charlie" "is" "rough" "+")
triple3
((triple2 ((triple5 triple6) -> (rule4 % int2))) -> (rule6 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
triple2
Gary is nice.
("Gary" "is" "nice" "+")
triple9
Gary is red.
("Gary" "is" "red" "+")
triple8
Gary is round.
("Gary" "is" "round" "+")
triple7
Harry is young.
("Harry" "is" "young" "+")
triple10
Charlie is nice.
("Charlie" "is" "nice" "+")
((triple5 triple6) -> (rule4 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
((triple7 triple9) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
((triple5 ((triple5 triple6) -> (rule4 % int2)) triple4) -> (rule1 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
((triple3 triple2 ((triple5 ((triple5 triple6) -> (rule4 % int3)) triple4) -> (rule1 % int2))) -> (rule2 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
((((triple2 ((triple5 triple6) -> (rule4 % int4))) -> (rule6 % int3)) triple2 ((triple5 ((triple5 triple6) -> (rule4 % int4)) triple4) -> (rule1 % int2))) -> (rule2 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is nice.
("Charlie" "is" "nice" "+")
int4
Charlie is big.
("Charlie" "is" "big" "+")
((((triple3 triple2 ((triple5 ((triple5 triple6) -> (rule4 % int4)) triple4) -> (rule1 % int3))) -> (rule2 % int2)) ((triple5 triple6) -> (rule4 % int4))) -> (rule3 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is nice.
("Charlie" "is" "nice" "+")
int4
((((((triple2 ((triple5 triple6) -> (rule4 % int5))) -> (rule6 % int4)) triple2 ((triple5 ((triple5 triple6) -> (rule4 % int5)) triple4) -> (rule1 % int3))) -> (rule2 % int2)) ((triple5 triple6) -> (rule4 % int5))) -> (rule3 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
int4
Charlie is nice.
("Charlie" "is" "nice" "+")
int5
Bob was born only a few years ago so he is young.
Charlie looks to be red, green, and blue, he is also round and rough.
Gary is a nice round guy, which leads to him being red.
Harry was born only a few years ago so he is young.
A green and red colored person who is rather nice will definitely be kind.
Watch out for the rough and round kind people for they cold to others.
People who are cold to others can also be nice and when they are it's a sure bet they are being big about it.
People feeling green and blue are somewhat nice.
A blue person who is young and rough is also red.
A person who is very round is nice but also quite rough.