Alan is blue and cold. Charlie is a nice and kind young man who is quite big in size. There is a very nice young man with a round body who is wearing green named Fred. Harry is known to be rough and green. Cold people who are young and green are actually nice. When someone is young they can be nice and kind, but green in society. A round someone could be blue and round but maybe red. A person who is in school because of their young age with a round body and the constant desire to be nice will be feeling blue. Big people that have a rough demeanor usually feel blue. If a person is young and very kind then they will be rather big. Blue and red people who are young always have rough skin.
Alan is cold.
("Alan" "is" "cold" "+")
Alan is blue.
("Alan" "is" "blue" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Fred is young.
("Fred" "is" "young" "+")
Fred is round.
("Fred" "is" "round" "+")
Fred is nice.
("Fred" "is" "nice" "+")
Fred is green.
("Fred" "is" "green" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is green.
("Harry" "is" "green" "+")
If someone is cold and green and young then they are nice.
((("someone" "is" "cold" "+") ("someone" "is" "green" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "nice" "+"))
If someone is kind and nice and young then they are green.
((("someone" "is" "kind" "+") ("someone" "is" "nice" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "green" "+"))
If someone is round and blue then they are red.
((("someone" "is" "round" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "red" "+"))
If someone is round and young and nice then they are blue.
((("someone" "is" "round" "+") ("someone" "is" "young" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "blue" "+"))
If someone is big and rough then they are blue.
((("someone" "is" "big" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "blue" "+"))
If someone is young and kind then they are big.
((("someone" "is" "young" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "big" "+"))
If someone is blue and red and young then they are rough.
((("someone" "is" "blue" "+") ("someone" "is" "red" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "rough" "+"))
Fred is nice.
True
1
proof
[(triple9)]
("Fred" "is" "nice" "+")
triple9
Fred is not young.
False
1
inv-proof
[(triple7)]
("Fred" "is" "young" "-")
triple7
Charlie is green.
True
4
proof
[(((triple5 triple4 triple3) -> rule2))]
("Charlie" "is" "green" "+")
((triple5 triple4 triple3) -> (rule2 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is not green.
False
4
inv-proof
[(((triple5 triple4 triple3) -> rule2))]
("Charlie" "is" "green" "-")
((triple5 triple4 triple3) -> (rule2 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Fred is red.
True
6
proof
[(((triple8 ((triple8 triple7 triple9) -> rule4)) -> rule3))]
("Fred" "is" "red" "+")
((triple8 ((triple8 triple7 triple9) -> (rule4 % int2))) -> (rule3 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
int2
Fred is not red.
False
6
inv-proof
[(((triple8 ((triple8 triple7 triple9) -> rule4)) -> rule3))]
("Fred" "is" "red" "-")
((triple8 ((triple8 triple7 triple9) -> (rule4 % int2))) -> (rule3 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
int2
Fred is rough.
True
12
proof
[(((((triple8 triple7 triple9) -> rule4) ((triple8 ((triple8 triple7 triple9) -> rule4)) -> rule3) triple7) -> rule7))]
("Fred" "is" "rough" "+")
((((triple8 triple7 triple9) -> (rule4 % int3)) ((triple8 ((triple8 triple7 triple9) -> (rule4 % int3))) -> (rule3 % int2)) triple7) -> (rule7 % int1))
Fred is rough.
("Fred" "is" "rough" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
int2
Fred is blue.
("Fred" "is" "blue" "+")
int3
Fred is not rough.
False
12
inv-proof
[(((((triple8 triple7 triple9) -> rule4) ((triple8 ((triple8 triple7 triple9) -> rule4)) -> rule3) triple7) -> rule7))]
("Fred" "is" "rough" "-")
((((triple8 triple7 triple9) -> (rule4 % int3)) ((triple8 ((triple8 triple7 triple9) -> (rule4 % int3))) -> (rule3 % int2)) triple7) -> (rule7 % int1))
Fred is rough.
("Fred" "is" "rough" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
int2
Fred is blue.
("Fred" "is" "blue" "+")
int3
Harry is not red.
Unknown
inv-rconc
[@1: Harry is red.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Harry" "is" "red" "-")
Charlie is red.
Unknown
rconc
[@1: Charlie is red.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Charlie" "is" "red" "+")
Harry is not nice.
Unknown
inv-rconc
[@1: Harry is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "nice" "-")
Alan is red.
Unknown
rconc
[@1: Alan is red.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Alan" "is" "red" "+")
Alan is not round.
Unknown
inv-random
[@0: Alan is round.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "round" "-")
Harry is young.
Unknown
random
[@0: Harry is young.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "young" "+")
Alan is not young.
Unknown
inv-random
[@0: Alan is young.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "young" "-")
Fred is cold.
Unknown
random
[@0: Fred is cold.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "cold" "+")
@0: Alan is blue.[(triple2)] Alan is cold.[(triple1)] Charlie is big.[(triple6 OR ((triple3 triple5) -> rule6))] Charlie is kind.[(triple5)] Charlie is nice.[(triple4)] Charlie is young.[(triple3)] Fred is green.[(triple10)] Fred is nice.[(triple9)] Fred is round.[(triple8)] Fred is young.[(triple7)] Harry is green.[(triple12)] Harry is rough.[(triple11)] @1: Charlie is green.[(((triple5 triple4 triple3) -> rule2))] Fred is blue.[(((triple8 triple7 triple9) -> rule4))] @2: Fred is red.[(((triple8 ((triple8 triple7 triple9) -> rule4)) -> rule3))] @3: Fred is rough.[(((((triple8 triple7 triple9) -> rule4) ((triple8 ((triple8 triple7 triple9) -> rule4)) -> rule3) triple7) -> rule7))]
Alan is blue.
("Alan" "is" "blue" "+")
triple2
Alan is cold.
("Alan" "is" "cold" "+")
triple1
Charlie is big.
("Charlie" "is" "big" "+")
triple6
((triple3 triple5) -> (rule6 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
triple5
Charlie is nice.
("Charlie" "is" "nice" "+")
triple4
Charlie is young.
("Charlie" "is" "young" "+")
triple3
Fred is green.
("Fred" "is" "green" "+")
triple10
Fred is nice.
("Fred" "is" "nice" "+")
triple9
Fred is round.
("Fred" "is" "round" "+")
triple8
Fred is young.
("Fred" "is" "young" "+")
triple7
Harry is green.
("Harry" "is" "green" "+")
triple12
Harry is rough.
("Harry" "is" "rough" "+")
triple11
Charlie is green.
("Charlie" "is" "green" "+")
((triple5 triple4 triple3) -> (rule2 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
((triple8 triple7 triple9) -> (rule4 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
((triple8 ((triple8 triple7 triple9) -> (rule4 % int2))) -> (rule3 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
int2
Fred is rough.
("Fred" "is" "rough" "+")
((((triple8 triple7 triple9) -> (rule4 % int3)) ((triple8 ((triple8 triple7 triple9) -> (rule4 % int3))) -> (rule3 % int2)) triple7) -> (rule7 % int1))
Fred is rough.
("Fred" "is" "rough" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
int2
Fred is blue.
("Fred" "is" "blue" "+")
int3
Alan is blue and cold.
Charlie is a nice and kind young man who is quite big in size.
There is a very nice young man with a round body who is wearing green named Fred.
Harry is known to be rough and green.
Cold people who are young and green are actually nice.
When someone is young they can be nice and kind, but green in society.
A round someone could be blue and round but maybe red.
A person who is in school because of their young age with a round body and the constant desire to be nice will be feeling blue.
Big people that have a rough demeanor usually feel blue.
If a person is young and very kind then they will be rather big.
Blue and red people who are young always have rough skin.