Young Bob got into a fight that left him with red sores on his face. They always call him rough Charlie. If you met Fred you would find him nice, blue, cold and quite big. Harry was quite young and green. He was also cold and big. People who can be kind when they are cold are fundamentally nice. A green colored, nice and young person will be big shaped. Young and rough green people, have no choice but to be red. Anybody that is big is also someone who is going to be blue. A big and blue colored person is also certainly very kind. If a person that is blue and green is also cold, that means that they are young.
Bob is young.
("Bob" "is" "young" "+")
Bob is red.
("Bob" "is" "red" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Fred is nice.
("Fred" "is" "nice" "+")
Fred is cold.
("Fred" "is" "cold" "+")
Fred is blue.
("Fred" "is" "blue" "+")
Fred is big.
("Fred" "is" "big" "+")
Harry is young.
("Harry" "is" "young" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is big.
("Harry" "is" "big" "+")
If someone is kind and cold then they are nice.
((("someone" "is" "kind" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "nice" "+"))
If someone is young and green and nice then they are big.
((("someone" "is" "young" "+") ("someone" "is" "green" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "big" "+"))
If someone is young and rough and green then they are red.
((("someone" "is" "young" "+") ("someone" "is" "rough" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "red" "+"))
If someone is big then they are blue.
((("someone" "is" "big" "+")) -> ("someone" "is" "blue" "+"))
If someone is blue and big then they are kind.
((("someone" "is" "blue" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "kind" "+"))
If someone is cold and blue and green then they are young.
((("someone" "is" "cold" "+") ("someone" "is" "blue" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "young" "+"))
Harry is young.
True
1
proof
[(triple8 OR ((triple10 ((triple11) -> rule4) triple9) -> rule6))]
("Harry" "is" "young" "+")
triple8
((triple10 ((triple11) -> (rule4 % int2)) triple9) -> (rule6 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Fred is not cold.
False
1
inv-proof
[(triple5)]
("Fred" "is" "cold" "-")
triple5
Harry is blue.
True
2
proof
[(((triple11) -> rule4))]
("Harry" "is" "blue" "+")
((triple11) -> (rule4 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Fred is not kind.
False
3
inv-proof
[(((triple6 triple7) -> rule5) OR ((((triple7) -> rule4) triple7) -> rule5))]
("Fred" "is" "kind" "-")
((triple6 triple7) -> (rule5 % int1))
Fred is kind.
("Fred" "is" "kind" "+")
int1
((((triple7) -> (rule4 % int2)) triple7) -> (rule5 % int1))
Fred is kind.
("Fred" "is" "kind" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
int2
Harry is kind.
True
4
proof
[(((((triple11) -> rule4) triple11) -> rule5))]
("Harry" "is" "kind" "+")
((((triple11) -> (rule4 % int2)) triple11) -> (rule5 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is not kind.
False
4
inv-proof
[(((((triple11) -> rule4) triple11) -> rule5))]
("Harry" "is" "kind" "-")
((((triple11) -> (rule4 % int2)) triple11) -> (rule5 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is nice.
True
6
proof
[(((((((triple11) -> rule4) triple11) -> rule5) triple10) -> rule1))]
("Harry" "is" "nice" "+")
((((((triple11) -> (rule4 % int3)) triple11) -> (rule5 % int2)) triple10) -> (rule1 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is not nice.
False
6
inv-proof
[(((((((triple11) -> rule4) triple11) -> rule5) triple10) -> rule1))]
("Harry" "is" "nice" "-")
((((((triple11) -> (rule4 % int3)) triple11) -> (rule5 % int2)) triple10) -> (rule1 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Charlie is not nice.
Unknown
inv-rconc
[@1: Charlie is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "nice" "-")
Bob is big.
Unknown
rconc
[@1: Bob is big.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "big" "+")
Charlie is not kind.
Unknown
inv-rconc
[@2: Charlie is kind.[CWA. Example of deepest failure = (rule5 <- rule2 <- FAIL)]]
("Charlie" "is" "kind" "-")
Charlie is blue.
Unknown
rconc
[@2: Charlie is blue.[CWA. Example of deepest failure = (rule4 <- rule2 <- FAIL)]]
("Charlie" "is" "blue" "+")
Bob is not rough.
Unknown
inv-random
[@0: Bob is rough.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "rough" "-")
Harry is rough.
Unknown
random
[@0: Harry is rough.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "rough" "+")
Fred is not green.
Unknown
inv-random
[@0: Fred is green.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "green" "-")
Bob is round.
Unknown
random
[@0: Bob is round.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "round" "+")
@0: Bob is red.[(triple2)] Bob is young.[(triple1)] Charlie is rough.[(triple3)] Fred is big.[(triple7)] Fred is blue.[(triple6 OR ((triple7) -> rule4))] Fred is cold.[(triple5)] Fred is nice.[(triple4 OR ((((triple6 triple7) -> rule5) triple5) -> rule1) OR ((((((triple7) -> rule4) triple7) -> rule5) triple5) -> rule1))] Harry is big.[(triple11)] Harry is cold.[(triple10)] Harry is green.[(triple9)] Harry is young.[(triple8 OR ((triple10 ((triple11) -> rule4) triple9) -> rule6))] @1: Fred is kind.[(((triple6 triple7) -> rule5) OR ((((triple7) -> rule4) triple7) -> rule5))] Harry is blue.[(((triple11) -> rule4))] @2: Harry is kind.[(((((triple11) -> rule4) triple11) -> rule5))] @3: Harry is nice.[(((((((triple11) -> rule4) triple11) -> rule5) triple10) -> rule1))]
Bob is red.
("Bob" "is" "red" "+")
triple2
Bob is young.
("Bob" "is" "young" "+")
triple1
Charlie is rough.
("Charlie" "is" "rough" "+")
triple3
Fred is big.
("Fred" "is" "big" "+")
triple7
Fred is blue.
("Fred" "is" "blue" "+")
triple6
((triple7) -> (rule4 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
triple5
Fred is nice.
("Fred" "is" "nice" "+")
triple4
((((triple6 triple7) -> (rule5 % int2)) triple5) -> (rule1 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is kind.
("Fred" "is" "kind" "+")
int2
((((((triple7) -> (rule4 % int3)) triple7) -> (rule5 % int2)) triple5) -> (rule1 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is kind.
("Fred" "is" "kind" "+")
int2
Fred is blue.
("Fred" "is" "blue" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
triple11
Harry is cold.
("Harry" "is" "cold" "+")
triple10
Harry is green.
("Harry" "is" "green" "+")
triple9
Harry is young.
("Harry" "is" "young" "+")
triple8
((triple10 ((triple11) -> (rule4 % int2)) triple9) -> (rule6 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Fred is kind.
("Fred" "is" "kind" "+")
((triple6 triple7) -> (rule5 % int1))
Fred is kind.
("Fred" "is" "kind" "+")
int1
((((triple7) -> (rule4 % int2)) triple7) -> (rule5 % int1))
Fred is kind.
("Fred" "is" "kind" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
((triple11) -> (rule4 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
((((triple11) -> (rule4 % int2)) triple11) -> (rule5 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
((((((triple11) -> (rule4 % int3)) triple11) -> (rule5 % int2)) triple10) -> (rule1 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Young Bob got into a fight that left him with red sores on his face.
They always call him rough Charlie.
If you met Fred you would find him nice, blue, cold and quite big.
Harry was quite young and green; He was also cold and big.
People who can be kind when they are cold are fundamentally nice.
A green colored, nice and young person will be big shaped.
Young and rough green people, have no choice but to be red.
Anybody that is big is also someone who is going to be blue.
A big and blue colored person is also certainly very kind.
If a person that is blue and green is also cold, that means that they are young.