Big Dave is still young so it's easy for him to be kind. Eric is a rough but very kind and blue person. They always call him rough Fred. Even though Harry is big and round, he is cold much of the time. I've noticed that kind people are also big. When someone is young they can be nice and kind, but green in society. You know when you meet a red, blue and kind person, that means they are green. A big rough person are also young of age. Being kind and young means that if they are also blue, they are always red. A round person will also be red. People that are blue, cold, and big, are rather rough.
Dave is young.
("Dave" "is" "young" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is big.
("Dave" "is" "big" "+")
Eric is rough.
("Eric" "is" "rough" "+")
Eric is kind.
("Eric" "is" "kind" "+")
Eric is blue.
("Eric" "is" "blue" "+")
Fred is rough.
("Fred" "is" "rough" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is big.
("Harry" "is" "big" "+")
If someone is kind then they are big.
((("someone" "is" "kind" "+")) -> ("someone" "is" "big" "+"))
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 red and blue and kind then they are green.
((("someone" "is" "red" "+") ("someone" "is" "blue" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "green" "+"))
If someone is big and rough then they are young.
((("someone" "is" "big" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "young" "+"))
If someone is blue and kind and young then they are red.
((("someone" "is" "blue" "+") ("someone" "is" "kind" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "red" "+"))
If someone is round then they are red.
((("someone" "is" "round" "+")) -> ("someone" "is" "red" "+"))
If someone is blue and cold and big then they are rough.
((("someone" "is" "blue" "+") ("someone" "is" "cold" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "rough" "+"))
Fred is rough.
True
1
proof
[(triple7)]
("Fred" "is" "rough" "+")
triple7
Dave is not big.
False
1
inv-proof
[(triple3 OR ((triple2) -> rule1))]
("Dave" "is" "big" "-")
triple3
((triple2) -> (rule1 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Harry is red.
True
2
proof
[(((triple8) -> rule6))]
("Harry" "is" "red" "+")
((triple8) -> (rule6 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is not red.
False
2
inv-proof
[(((triple8) -> rule6))]
("Harry" "is" "red" "-")
((triple8) -> (rule6 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Eric is young.
True
4
proof
[(((((triple5) -> rule1) triple4) -> rule4))]
("Eric" "is" "young" "+")
((((triple5) -> (rule1 % int2)) triple4) -> (rule4 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
int2
Eric is not young.
False
4
inv-proof
[(((((triple5) -> rule1) triple4) -> rule4))]
("Eric" "is" "young" "-")
((((triple5) -> (rule1 % int2)) triple4) -> (rule4 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
int2
Eric is red.
True
7
proof
[(((triple6 triple5 ((((triple5) -> rule1) triple4) -> rule4)) -> rule5))]
("Eric" "is" "red" "+")
((triple6 triple5 ((((triple5) -> (rule1 % int3)) triple4) -> (rule4 % int2))) -> (rule5 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
int2
Eric is big.
("Eric" "is" "big" "+")
int3
Eric is not red.
False
7
inv-proof
[(((triple6 triple5 ((((triple5) -> rule1) triple4) -> rule4)) -> rule5))]
("Eric" "is" "red" "-")
((triple6 triple5 ((((triple5) -> (rule1 % int3)) triple4) -> (rule4 % int2))) -> (rule5 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
int2
Eric is big.
("Eric" "is" "big" "+")
int3
Eric is green.
True
10
proof
[(((((triple6 triple5 ((((triple5) -> rule1) triple4) -> rule4)) -> rule5) triple6 triple5) -> rule3))]
("Eric" "is" "green" "+")
((((triple6 triple5 ((((triple5) -> (rule1 % int4)) triple4) -> (rule4 % int3))) -> (rule5 % int2)) triple6 triple5) -> (rule3 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is red.
("Eric" "is" "red" "+")
int2
Eric is young.
("Eric" "is" "young" "+")
int3
Eric is big.
("Eric" "is" "big" "+")
int4
Eric is not green.
False
10
inv-proof
[(((((triple6 triple5 ((((triple5) -> rule1) triple4) -> rule4)) -> rule5) triple6 triple5) -> rule3))]
("Eric" "is" "green" "-")
((((triple6 triple5 ((((triple5) -> (rule1 % int4)) triple4) -> (rule4 % int3))) -> (rule5 % int2)) triple6 triple5) -> (rule3 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is red.
("Eric" "is" "red" "+")
int2
Eric is young.
("Eric" "is" "young" "+")
int3
Eric is big.
("Eric" "is" "big" "+")
int4
Harry is not rough.
Unknown
inv-rconc
[@1: Harry is rough.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Harry" "is" "rough" "-")
Dave is green.
Unknown
rconc
[@1: Dave is green.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Dave" "is" "green" "+")
Harry is not young.
Unknown
inv-rconc
[@2: Harry is young.[CWA. Example of deepest failure = (rule4 <- rule7 <- FAIL)]]
("Harry" "is" "young" "-")
Harry is green.
Unknown
rconc
[@1: Harry is green.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Harry" "is" "green" "+")
Fred is not green.
Unknown
inv-rconc
[@1: Fred is green.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fred" "is" "green" "-")
Fred is nice.
Unknown
random
[@0: Fred is nice.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "nice" "+")
Harry is not nice.
Unknown
inv-random
[@0: Harry is nice.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "nice" "-")
Eric is round.
Unknown
random
[@0: Eric is round.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "round" "+")
Dave is not cold.
Unknown
inv-random
[@0: Dave is cold.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "cold" "-")
Harry is kind.
Unknown
random
[@0: Harry is kind.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "kind" "+")
@0: Dave is big.[(triple3 OR ((triple2) -> rule1))] Dave is kind.[(triple2)] Dave is young.[(triple1)] Eric is blue.[(triple6)] Eric is kind.[(triple5)] Eric is rough.[(triple4)] Fred is rough.[(triple7)] Harry is big.[(triple10)] Harry is cold.[(triple9)] Harry is round.[(triple8)] @1: Eric is big.[(((triple5) -> rule1))] Harry is red.[(((triple8) -> rule6))] @2: Eric is young.[(((((triple5) -> rule1) triple4) -> rule4))] @3: Eric is red.[(((triple6 triple5 ((((triple5) -> rule1) triple4) -> rule4)) -> rule5))] @4: Eric is green.[(((((triple6 triple5 ((((triple5) -> rule1) triple4) -> rule4)) -> rule5) triple6 triple5) -> rule3))]
Dave is big.
("Dave" "is" "big" "+")
triple3
((triple2) -> (rule1 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
triple2
Dave is young.
("Dave" "is" "young" "+")
triple1
Eric is blue.
("Eric" "is" "blue" "+")
triple6
Eric is kind.
("Eric" "is" "kind" "+")
triple5
Eric is rough.
("Eric" "is" "rough" "+")
triple4
Fred is rough.
("Fred" "is" "rough" "+")
triple7
Harry is big.
("Harry" "is" "big" "+")
triple10
Harry is cold.
("Harry" "is" "cold" "+")
triple9
Harry is round.
("Harry" "is" "round" "+")
triple8
Eric is big.
("Eric" "is" "big" "+")
((triple5) -> (rule1 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
((triple8) -> (rule6 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
((((triple5) -> (rule1 % int2)) triple4) -> (rule4 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
int2
Eric is red.
("Eric" "is" "red" "+")
((triple6 triple5 ((((triple5) -> (rule1 % int3)) triple4) -> (rule4 % int2))) -> (rule5 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
int2
Eric is big.
("Eric" "is" "big" "+")
int3
Eric is green.
("Eric" "is" "green" "+")
((((triple6 triple5 ((((triple5) -> (rule1 % int4)) triple4) -> (rule4 % int3))) -> (rule5 % int2)) triple6 triple5) -> (rule3 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is red.
("Eric" "is" "red" "+")
int2
Eric is young.
("Eric" "is" "young" "+")
int3
Eric is big.
("Eric" "is" "big" "+")
int4
Big Dave is still young so it's easy for him to be kind.
Eric is a rough but very kind and blue person.
They always call him rough Fred.
Even though Harry is big and round, he is cold much of the time.
I've noticed that kind people are also big.
When someone is young they can be nice and kind, but green in society.
You know when you meet a red, blue and kind person, that means they are green.
A big rough person are also young of age.
Being kind and young means that if they are also blue, they are always red.
A round person will also be red.
People that are blue, cold, and big, are rather rough.