Others enjoy Bob's company because he is so nice and kind. Charlie is rough, round and young but also red. They always call him rough Gary. Red Harry is what folks call him, because he is quite red. A round person who is nice and feelin cold is usually rough in apperance. People who are round, blue and cold are usually nice. A big person who looks blue is also going to look young. Round people who feel rough also always feel cold,. A young, cold person is often blue.
Bob is nice.
("Bob" "is" "nice" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Harry is red.
("Harry" "is" "red" "+")
If someone is round and nice and cold then they are rough.
((("someone" "is" "round" "+") ("someone" "is" "nice" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "rough" "+"))
If someone is round and blue and cold then they are nice.
((("someone" "is" "round" "+") ("someone" "is" "blue" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "nice" "+"))
If someone is blue and big then they are young.
((("someone" "is" "blue" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "young" "+"))
If someone is round and rough then they are cold.
((("someone" "is" "round" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "cold" "+"))
If someone is cold and young then they are blue.
((("someone" "is" "cold" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "blue" "+"))
Charlie is young.
True
1
proof
[(triple3)]
("Charlie" "is" "young" "+")
triple3
Charlie is not rough.
False
1
inv-proof
[(triple5)]
("Charlie" "is" "rough" "-")
triple5
Charlie is cold.
True
3
proof
[(((triple4 triple5) -> rule4))]
("Charlie" "is" "cold" "+")
((triple4 triple5) -> (rule4 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is not cold.
False
3
inv-proof
[(((triple4 triple5) -> rule4))]
("Charlie" "is" "cold" "-")
((triple4 triple5) -> (rule4 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is blue.
True
5
proof
[(((((triple4 triple5) -> rule4) triple3) -> rule5))]
("Charlie" "is" "blue" "+")
((((triple4 triple5) -> (rule4 % int2)) triple3) -> (rule5 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is not blue.
False
5
inv-proof
[(((((triple4 triple5) -> rule4) triple3) -> rule5))]
("Charlie" "is" "blue" "-")
((((triple4 triple5) -> (rule4 % int2)) triple3) -> (rule5 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is nice.
True
10
proof
[(((triple4 ((((triple4 triple5) -> rule4) triple3) -> rule5) ((triple4 triple5) -> rule4)) -> rule2))]
("Charlie" "is" "nice" "+")
((triple4 ((((triple4 triple5) -> (rule4 % int3)) triple3) -> (rule5 % int2)) ((triple4 triple5) -> (rule4 % int3))) -> (rule2 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
Charlie is not nice.
False
10
inv-proof
[(((triple4 ((((triple4 triple5) -> rule4) triple3) -> rule5) ((triple4 triple5) -> rule4)) -> rule2))]
("Charlie" "is" "nice" "-")
((triple4 ((((triple4 triple5) -> (rule4 % int3)) triple3) -> (rule5 % int2)) ((triple4 triple5) -> (rule4 % int3))) -> (rule2 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
Bob is not young.
Unknown
inv-rconc
[@1: Bob is young.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Bob" "is" "young" "-")
Bob is blue.
Unknown
rconc
[@2: Bob is blue.[CWA. Example of deepest failure = (rule5 <- rule4 <- FAIL)]]
("Bob" "is" "blue" "+")
Harry is not young.
Unknown
inv-rconc
[@1: Harry is young.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Harry" "is" "young" "-")
Harry is blue.
Unknown
rconc
[@2: Harry is blue.[CWA. Example of deepest failure = (rule5 <- rule4 <- FAIL)]]
("Harry" "is" "blue" "+")
Gary is not big.
Unknown
inv-random
[@0: Gary is big.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "big" "-")
Bob is red.
Unknown
random
[@0: Bob is red.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "red" "+")
Bob is not big.
Unknown
inv-random
[@0: Bob is big.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "big" "-")
Harry is round.
Unknown
random
[@0: Harry is round.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "round" "+")
@0: Bob is kind.[(triple2)] Bob is nice.[(triple1)] Charlie is red.[(triple6)] Charlie is rough.[(triple5)] Charlie is round.[(triple4)] Charlie is young.[(triple3)] Gary is rough.[(triple7)] Harry is red.[(triple8)] @1: Charlie is cold.[(((triple4 triple5) -> rule4))] @2: Charlie is blue.[(((((triple4 triple5) -> rule4) triple3) -> rule5))] @3: Charlie is nice.[(((triple4 ((((triple4 triple5) -> rule4) triple3) -> rule5) ((triple4 triple5) -> rule4)) -> rule2))]
Bob is kind.
("Bob" "is" "kind" "+")
triple2
Bob is nice.
("Bob" "is" "nice" "+")
triple1
Charlie is red.
("Charlie" "is" "red" "+")
triple6
Charlie is rough.
("Charlie" "is" "rough" "+")
triple5
Charlie is round.
("Charlie" "is" "round" "+")
triple4
Charlie is young.
("Charlie" "is" "young" "+")
triple3
Gary is rough.
("Gary" "is" "rough" "+")
triple7
Harry is red.
("Harry" "is" "red" "+")
triple8
Charlie is cold.
("Charlie" "is" "cold" "+")
((triple4 triple5) -> (rule4 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
((((triple4 triple5) -> (rule4 % int2)) triple3) -> (rule5 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
((triple4 ((((triple4 triple5) -> (rule4 % int3)) triple3) -> (rule5 % int2)) ((triple4 triple5) -> (rule4 % int3))) -> (rule2 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
Others enjoy Bob's company because he is so nice and kind.
Charlie is rough, round and young but also red.
They always call him rough Gary.
Red Harry is what folks call him, because he is quite red.
A round person who is nice and feelin cold is usually rough in apperance.
People who are round, blue and cold are usually nice.
A big person who looks blue is also going to look young.
Round people who feel rough also always feel cold,.
A young, cold person is often blue.