Red Bob is what folks call him, because he is quite red. Charlie is nice and kind. He is green with envy which makes him feel blue. Fred is made of many colors, red and blue and green. He is also rough and cold. Harry always goes out of his way to show that he is kind to people. Young people tend to be blue all the time and rough. If someone is blue, young, and rough, they qualify as being round. Anyone who's got young, round and big traits is bound to have a red trait, too. Looking blue can be a sign that someone is cold. People who are nice and kind are somewhat young.
Bob is red.
("Bob" "is" "red" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Fred is rough.
("Fred" "is" "rough" "+")
Fred is red.
("Fred" "is" "red" "+")
Fred is green.
("Fred" "is" "green" "+")
Fred is cold.
("Fred" "is" "cold" "+")
Fred is blue.
("Fred" "is" "blue" "+")
Harry is kind.
("Harry" "is" "kind" "+")
If someone is blue and young then they are rough.
((("someone" "is" "blue" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "rough" "+"))
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 young and big and round then they are red.
((("someone" "is" "young" "+") ("someone" "is" "big" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "red" "+"))
If someone is blue then they are cold.
((("someone" "is" "blue" "+")) -> ("someone" "is" "cold" "+"))
If someone is kind and nice then they are young.
((("someone" "is" "kind" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "young" "+"))
Charlie is kind.
True
1
proof
[(triple3)]
("Charlie" "is" "kind" "+")
triple3
Fred is not rough.
False
1
inv-proof
[(triple6)]
("Fred" "is" "rough" "-")
triple6
Charlie is young.
True
3
proof
[(((triple3 triple2) -> rule5))]
("Charlie" "is" "young" "+")
((triple3 triple2) -> (rule5 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is not young.
False
3
inv-proof
[(((triple3 triple2) -> rule5))]
("Charlie" "is" "young" "-")
((triple3 triple2) -> (rule5 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is rough.
True
5
proof
[(((triple5 ((triple3 triple2) -> rule5)) -> rule1))]
("Charlie" "is" "rough" "+")
((triple5 ((triple3 triple2) -> (rule5 % int2))) -> (rule1 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is not rough.
False
5
inv-proof
[(((triple5 ((triple3 triple2) -> rule5)) -> rule1))]
("Charlie" "is" "rough" "-")
((triple5 ((triple3 triple2) -> (rule5 % int2))) -> (rule1 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is round.
True
10
proof
[(((((triple5 ((triple3 triple2) -> rule5)) -> rule1) ((triple3 triple2) -> rule5) triple5) -> rule2))]
("Charlie" "is" "round" "+")
((((triple5 ((triple3 triple2) -> (rule5 % int3))) -> (rule1 % int2)) ((triple3 triple2) -> (rule5 % int3)) triple5) -> (rule2 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is not round.
False
10
inv-proof
[(((((triple5 ((triple3 triple2) -> rule5)) -> rule1) ((triple3 triple2) -> rule5) triple5) -> rule2))]
("Charlie" "is" "round" "-")
((((triple5 ((triple3 triple2) -> (rule5 % int3))) -> (rule1 % int2)) ((triple3 triple2) -> (rule5 % int3)) triple5) -> (rule2 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Fred is not young.
Unknown
inv-rconc
[@1: Fred is young.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Fred" "is" "young" "-")
Charlie is red.
Unknown
rconc
[@1: Charlie is red.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Charlie" "is" "red" "+")
Bob is not cold.
Unknown
inv-rconc
[@1: Bob is cold.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Bob" "is" "cold" "-")
Bob is round.
Unknown
rconc
[@1: Bob is round.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "round" "+")
Harry is not nice.
Unknown
inv-random
[@0: Harry is nice.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "nice" "-")
Bob is kind.
Unknown
random
[@0: Bob is kind.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "kind" "+")
Harry is not green.
Unknown
inv-random
[@0: Harry is green.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "green" "-")
Fred is big.
Unknown
random
[@0: Fred is big.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "big" "+")
@0: Bob is red.[(triple1)] Charlie is blue.[(triple5)] Charlie is green.[(triple4)] Charlie is kind.[(triple3)] Charlie is nice.[(triple2)] Fred is blue.[(triple10)] Fred is cold.[(triple9 OR ((triple10) -> rule4))] Fred is green.[(triple8)] Fred is red.[(triple7)] Fred is rough.[(triple6)] Harry is kind.[(triple11)] @1: Charlie is cold.[(((triple5) -> rule4))] Charlie is young.[(((triple3 triple2) -> rule5))] @2: Charlie is rough.[(((triple5 ((triple3 triple2) -> rule5)) -> rule1))] @3: Charlie is round.[(((((triple5 ((triple3 triple2) -> rule5)) -> rule1) ((triple3 triple2) -> rule5) triple5) -> rule2))]
Bob is red.
("Bob" "is" "red" "+")
triple1
Charlie is blue.
("Charlie" "is" "blue" "+")
triple5
Charlie is green.
("Charlie" "is" "green" "+")
triple4
Charlie is kind.
("Charlie" "is" "kind" "+")
triple3
Charlie is nice.
("Charlie" "is" "nice" "+")
triple2
Fred is blue.
("Fred" "is" "blue" "+")
triple10
Fred is cold.
("Fred" "is" "cold" "+")
triple9
((triple10) -> (rule4 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is green.
("Fred" "is" "green" "+")
triple8
Fred is red.
("Fred" "is" "red" "+")
triple7
Fred is rough.
("Fred" "is" "rough" "+")
triple6
Harry is kind.
("Harry" "is" "kind" "+")
triple11
Charlie is cold.
("Charlie" "is" "cold" "+")
((triple5) -> (rule4 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
((triple3 triple2) -> (rule5 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
((triple5 ((triple3 triple2) -> (rule5 % int2))) -> (rule1 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
((((triple5 ((triple3 triple2) -> (rule5 % int3))) -> (rule1 % int2)) ((triple3 triple2) -> (rule5 % int3)) triple5) -> (rule2 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Red Bob is what folks call him, because he is quite red.
Charlie is nice and kind; He is green with envy which makes him feel blue.
Fred is made of many colors, red and blue and green; He is also rough and cold.
Harry always goes out of his way to show that he is kind to people.
Young people tend to be blue all the time and rough.
If someone is blue, young, and rough, they qualify as being round.
Anyone who's got young, round and big traits is bound to have a red trait, too.
Looking blue can be a sign that someone is cold.
People who are nice and kind are somewhat young.