Eric is big and dresses in blue. That big rough Fred guy is both red and blue at the same time. Harry was young, had red eyes and green hair. On top of that he was big and had cold hands. A red colored person who is kind and feels cold is usually considered nice. Kind and young people are round. You can tell if someone is big, kind, and young, then they are also nice. Don't be surprised to hear that all nice, kind folks are in fact rough. If smeone has a blue and green color, then they are young and probably kind. Whenever you see Pete you run into a young man rough, which means he will be nice. People who are cold and and red are also young and kind.
Eric is blue.
("Eric" "is" "blue" "+")
Eric is big.
("Eric" "is" "big" "+")
Fred is rough.
("Fred" "is" "rough" "+")
Fred is red.
("Fred" "is" "red" "+")
Fred is blue.
("Fred" "is" "blue" "+")
Fred is big.
("Fred" "is" "big" "+")
Harry is young.
("Harry" "is" "young" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is big.
("Harry" "is" "big" "+")
If someone is red and kind and cold then they are nice.
((("someone" "is" "red" "+") ("someone" "is" "kind" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "nice" "+"))
If someone is young and kind then they are round.
((("someone" "is" "young" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "round" "+"))
If someone is big and kind and young then they are nice.
((("someone" "is" "big" "+") ("someone" "is" "kind" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "nice" "+"))
If someone is nice and kind then they are rough.
((("someone" "is" "nice" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "rough" "+"))
If someone is blue and green and young then they are kind.
((("someone" "is" "blue" "+") ("someone" "is" "green" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "kind" "+"))
If someone is young and rough then they are nice.
((("someone" "is" "young" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "nice" "+"))
If someone is red and young and cold then they are kind.
((("someone" "is" "red" "+") ("someone" "is" "young" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "kind" "+"))
Fred is big.
True
1
proof
[(triple6)]
("Fred" "is" "big" "+")
triple6
Fred is not big.
False
1
inv-proof
[(triple6)]
("Fred" "is" "big" "-")
triple6
Harry is kind.
True
4
proof
[(((triple8 triple7 triple10) -> rule7))]
("Harry" "is" "kind" "+")
((triple8 triple7 triple10) -> (rule7 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is not kind.
False
4
inv-proof
[(((triple8 triple7 triple10) -> rule7))]
("Harry" "is" "kind" "-")
((triple8 triple7 triple10) -> (rule7 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is round.
True
6
proof
[(((triple7 ((triple8 triple7 triple10) -> rule7)) -> rule2))]
("Harry" "is" "round" "+")
((triple7 ((triple8 triple7 triple10) -> (rule7 % int2))) -> (rule2 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is not round.
False
6
inv-proof
[(((triple7 ((triple8 triple7 triple10) -> rule7)) -> rule2))]
("Harry" "is" "round" "-")
((triple7 ((triple8 triple7 triple10) -> (rule7 % int2))) -> (rule2 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is rough.
True
12
proof
[(((((triple11 ((triple8 triple7 triple10) -> rule7) triple7) -> rule3) ((triple8 triple7 triple10) -> rule7)) -> rule4) OR ((((triple8 ((triple8 triple7 triple10) -> rule7) triple10) -> rule1) ((triple8 triple7 triple10) -> rule7)) -> rule4))]
("Harry" "is" "rough" "+")
((((triple11 ((triple8 triple7 triple10) -> (rule7 % int3)) triple7) -> (rule3 % int2)) ((triple8 triple7 triple10) -> (rule7 % int3))) -> (rule4 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
((((triple8 ((triple8 triple7 triple10) -> (rule7 % int3)) triple10) -> (rule1 % int2)) ((triple8 triple7 triple10) -> (rule7 % int3))) -> (rule4 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is not rough.
False
12
inv-proof
[(((((triple11 ((triple8 triple7 triple10) -> rule7) triple7) -> rule3) ((triple8 triple7 triple10) -> rule7)) -> rule4) OR ((((triple8 ((triple8 triple7 triple10) -> rule7) triple10) -> rule1) ((triple8 triple7 triple10) -> rule7)) -> rule4))]
("Harry" "is" "rough" "-")
((((triple11 ((triple8 triple7 triple10) -> (rule7 % int3)) triple7) -> (rule3 % int2)) ((triple8 triple7 triple10) -> (rule7 % int3))) -> (rule4 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
((((triple8 ((triple8 triple7 triple10) -> (rule7 % int3)) triple10) -> (rule1 % int2)) ((triple8 triple7 triple10) -> (rule7 % int3))) -> (rule4 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Fred is not kind.
Unknown
inv-rconc
[@1: Fred is kind.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Fred" "is" "kind" "-")
Dave is nice.
Unknown
rconc
[@1: Dave is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "nice" "+")
Dave is not rough.
Unknown
inv-rconc
[@2: Dave is rough.[CWA. Example of deepest failure = (rule4 <- rule1 <- FAIL)]]
("Dave" "is" "rough" "-")
Eric is round.
Unknown
rconc
[@1: Eric is round.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Eric" "is" "round" "+")
Harry is not blue.
Unknown
inv-random
[@0: Harry is blue.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "blue" "-")
Dave is cold.
Unknown
random
[@0: Dave is cold.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "cold" "+")
Dave is not young.
Unknown
inv-random
[@0: Dave is young.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "young" "-")
Eric is green.
Unknown
random
[@0: Eric is green.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "green" "+")
@0: Eric is big.[(triple2)] Eric is blue.[(triple1)] Fred is big.[(triple6)] Fred is blue.[(triple5)] Fred is red.[(triple4)] Fred is rough.[(triple3)] Harry is big.[(triple11)] Harry is cold.[(triple10)] Harry is green.[(triple9)] Harry is red.[(triple8)] Harry is young.[(triple7)] @1: Harry is kind.[(((triple8 triple7 triple10) -> rule7))] @2: Harry is nice.[(((triple11 ((triple8 triple7 triple10) -> rule7) triple7) -> rule3) OR ((triple8 ((triple8 triple7 triple10) -> rule7) triple10) -> rule1))] Harry is round.[(((triple7 ((triple8 triple7 triple10) -> rule7)) -> rule2))] @3: Harry is rough.[(((((triple11 ((triple8 triple7 triple10) -> rule7) triple7) -> rule3) ((triple8 triple7 triple10) -> rule7)) -> rule4) OR ((((triple8 ((triple8 triple7 triple10) -> rule7) triple10) -> rule1) ((triple8 triple7 triple10) -> rule7)) -> rule4))]
Eric is big.
("Eric" "is" "big" "+")
triple2
Eric is blue.
("Eric" "is" "blue" "+")
triple1
Fred is big.
("Fred" "is" "big" "+")
triple6
Fred is blue.
("Fred" "is" "blue" "+")
triple5
Fred is red.
("Fred" "is" "red" "+")
triple4
Fred is rough.
("Fred" "is" "rough" "+")
triple3
Harry is big.
("Harry" "is" "big" "+")
triple11
Harry is cold.
("Harry" "is" "cold" "+")
triple10
Harry is green.
("Harry" "is" "green" "+")
triple9
Harry is red.
("Harry" "is" "red" "+")
triple8
Harry is young.
("Harry" "is" "young" "+")
triple7
Harry is kind.
("Harry" "is" "kind" "+")
((triple8 triple7 triple10) -> (rule7 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
((triple11 ((triple8 triple7 triple10) -> (rule7 % int2)) triple7) -> (rule3 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
((triple8 ((triple8 triple7 triple10) -> (rule7 % int2)) triple10) -> (rule1 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
((triple7 ((triple8 triple7 triple10) -> (rule7 % int2))) -> (rule2 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
((((triple11 ((triple8 triple7 triple10) -> (rule7 % int3)) triple7) -> (rule3 % int2)) ((triple8 triple7 triple10) -> (rule7 % int3))) -> (rule4 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
((((triple8 ((triple8 triple7 triple10) -> (rule7 % int3)) triple10) -> (rule1 % int2)) ((triple8 triple7 triple10) -> (rule7 % int3))) -> (rule4 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Eric is big and dresses in blue.
That big rough Fred guy is both red and blue at the same time.
Harry was young, had red eyes and green hair; On top of that he was big and had cold hands.
A red colored person who is kind and feels cold is usually considered nice.
Kind and young people are round.
You can tell if someone is big, kind, and young, then they are also nice.
Don't be surprised to hear that all nice, kind folks are in fact rough.
If smeone has a blue and green color, then they are young and probably kind.
Whenever you see Pete you run into a young man rough, which means he will be nice.
People who are cold and and red are also young and kind.