That man standing next to you with a big round body goes by the name of Bob. Eric is known to be rough and green. Though he is young, Gary is still nice despite being quite blue. If you met Harry you would find him nice, blue, cold and quite big. Because someone is green and kind they are extremely nice to people. Big people that are cold will show you how rough they actually are. Anyone that's rough and cold is also going to be blue. If someone has a red face and feels blue and has a round body then you'll automatically think they are big. You will discover that green rough people are always red. People that are green tend to be young. Rough, blue people tend to have a lot of green aspects.
Bob is round.
("Bob" "is" "round" "+")
Bob is big.
("Bob" "is" "big" "+")
Eric is rough.
("Eric" "is" "rough" "+")
Eric is green.
("Eric" "is" "green" "+")
Gary is young.
("Gary" "is" "young" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is big.
("Harry" "is" "big" "+")
If someone is green and kind then they are nice.
((("someone" "is" "green" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "nice" "+"))
If someone is cold and big then they are rough.
((("someone" "is" "cold" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "rough" "+"))
If someone is cold and rough then they are blue.
((("someone" "is" "cold" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "blue" "+"))
If someone is red and blue and round then they are big.
((("someone" "is" "red" "+") ("someone" "is" "blue" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "big" "+"))
If someone is green and rough then they are red.
((("someone" "is" "green" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "red" "+"))
If someone is green then they are young.
((("someone" "is" "green" "+")) -> ("someone" "is" "young" "+"))
If someone is rough and blue then they are green.
((("someone" "is" "rough" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "green" "+"))
Harry is cold.
True
1
proof
[(triple9)]
("Harry" "is" "cold" "+")
triple9
Bob is not round.
False
1
inv-proof
[(triple1)]
("Bob" "is" "round" "-")
triple1
Eric is red.
True
3
proof
[(((triple4 triple3) -> rule5))]
("Eric" "is" "red" "+")
((triple4 triple3) -> (rule5 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is not red.
False
3
inv-proof
[(((triple4 triple3) -> rule5))]
("Eric" "is" "red" "-")
((triple4 triple3) -> (rule5 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Harry is green.
True
5
proof
[(((((triple9 triple11) -> rule2) triple10) -> rule7) OR ((((triple9 triple11) -> rule2) ((triple9 ((triple9 triple11) -> rule2)) -> rule3)) -> rule7))]
("Harry" "is" "green" "+")
((((triple9 triple11) -> (rule2 % int2)) triple10) -> (rule7 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
((((triple9 triple11) -> (rule2 % int3)) ((triple9 ((triple9 triple11) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Harry is not green.
False
5
inv-proof
[(((((triple9 triple11) -> rule2) triple10) -> rule7) OR ((((triple9 triple11) -> rule2) ((triple9 ((triple9 triple11) -> rule2)) -> rule3)) -> rule7))]
("Harry" "is" "green" "-")
((((triple9 triple11) -> (rule2 % int2)) triple10) -> (rule7 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
((((triple9 triple11) -> (rule2 % int3)) ((triple9 ((triple9 triple11) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Harry is young.
True
6
proof
[(((((((triple9 triple11) -> rule2) triple10) -> rule7)) -> rule6) OR ((((((triple9 triple11) -> rule2) ((triple9 ((triple9 triple11) -> rule2)) -> rule3)) -> rule7)) -> rule6))]
("Harry" "is" "young" "+")
((((((triple9 triple11) -> (rule2 % int3)) triple10) -> (rule7 % int2))) -> (rule6 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
((((((triple9 triple11) -> (rule2 % int4)) ((triple9 ((triple9 triple11) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is rough.
("Harry" "is" "rough" "+")
int4
Harry is not young.
False
6
inv-proof
[(((((((triple9 triple11) -> rule2) triple10) -> rule7)) -> rule6) OR ((((((triple9 triple11) -> rule2) ((triple9 ((triple9 triple11) -> rule2)) -> rule3)) -> rule7)) -> rule6))]
("Harry" "is" "young" "-")
((((((triple9 triple11) -> (rule2 % int3)) triple10) -> (rule7 % int2))) -> (rule6 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
((((((triple9 triple11) -> (rule2 % int4)) ((triple9 ((triple9 triple11) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is rough.
("Harry" "is" "rough" "+")
int4
Eric is not blue.
Unknown
inv-rconc
[@1: Eric is blue.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Eric" "is" "blue" "-")
Bob is nice.
Unknown
rconc
[@1: Bob is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "nice" "+")
Eric is not big.
Unknown
inv-rconc
[@1: Eric is big.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Eric" "is" "big" "-")
Bob is rough.
Unknown
rconc
[@1: Bob is rough.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "rough" "+")
Gary is not cold.
Unknown
inv-random
[@0: Gary is cold.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "cold" "-")
Eric is kind.
Unknown
random
[@0: Eric is kind.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "kind" "+")
Eric is not cold.
Unknown
inv-random
[@0: Eric is cold.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "cold" "-")
Harry is kind.
Unknown
random
[@0: Harry is kind.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "kind" "+")
@0: Bob is big.[(triple2)] Bob is round.[(triple1)] Eric is green.[(triple4)] Eric is rough.[(triple3)] Gary is blue.[(triple7)] Gary is nice.[(triple6)] Gary is young.[(triple5)] Harry is big.[(triple11)] Harry is blue.[(triple10 OR ((triple9 ((triple9 triple11) -> rule2)) -> rule3))] Harry is cold.[(triple9)] Harry is nice.[(triple8)] @1: Eric is red.[(((triple4 triple3) -> rule5))] Eric is young.[(((triple4) -> rule6))] Harry is rough.[(((triple9 triple11) -> rule2))] @2: Harry is green.[(((((triple9 triple11) -> rule2) triple10) -> rule7) OR ((((triple9 triple11) -> rule2) ((triple9 ((triple9 triple11) -> rule2)) -> rule3)) -> rule7))] @3: Harry is red.[(((((((triple9 triple11) -> rule2) triple10) -> rule7) ((triple9 triple11) -> rule2)) -> rule5) OR ((((((triple9 triple11) -> rule2) ((triple9 ((triple9 triple11) -> rule2)) -> rule3)) -> rule7) ((triple9 triple11) -> rule2)) -> rule5))] Harry is young.[(((((((triple9 triple11) -> rule2) triple10) -> rule7)) -> rule6) OR ((((((triple9 triple11) -> rule2) ((triple9 ((triple9 triple11) -> rule2)) -> rule3)) -> rule7)) -> rule6))]
Bob is big.
("Bob" "is" "big" "+")
triple2
Bob is round.
("Bob" "is" "round" "+")
triple1
Eric is green.
("Eric" "is" "green" "+")
triple4
Eric is rough.
("Eric" "is" "rough" "+")
triple3
Gary is blue.
("Gary" "is" "blue" "+")
triple7
Gary is nice.
("Gary" "is" "nice" "+")
triple6
Gary is young.
("Gary" "is" "young" "+")
triple5
Harry is big.
("Harry" "is" "big" "+")
triple11
Harry is blue.
("Harry" "is" "blue" "+")
triple10
((triple9 ((triple9 triple11) -> (rule2 % int2))) -> (rule3 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
triple9
Harry is nice.
("Harry" "is" "nice" "+")
triple8
Eric is red.
("Eric" "is" "red" "+")
((triple4 triple3) -> (rule5 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
((triple4) -> (rule6 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
((triple9 triple11) -> (rule2 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
((((triple9 triple11) -> (rule2 % int2)) triple10) -> (rule7 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
((((triple9 triple11) -> (rule2 % int3)) ((triple9 ((triple9 triple11) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
((((((triple9 triple11) -> (rule2 % int3)) triple10) -> (rule7 % int2)) ((triple9 triple11) -> (rule2 % int3))) -> (rule5 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
((((((triple9 triple11) -> (rule2 % int4)) ((triple9 ((triple9 triple11) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule7 % int2)) ((triple9 triple11) -> (rule2 % int4))) -> (rule5 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is rough.
("Harry" "is" "rough" "+")
int4
Harry is young.
("Harry" "is" "young" "+")
((((((triple9 triple11) -> (rule2 % int3)) triple10) -> (rule7 % int2))) -> (rule6 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
((((((triple9 triple11) -> (rule2 % int4)) ((triple9 ((triple9 triple11) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is rough.
("Harry" "is" "rough" "+")
int4
That man standing next to you with a big round body goes by the name of Bob.
Eric is known to be rough and green.
Though he is young, Gary is still nice despite being quite blue.
If you met Harry you would find him nice, blue, cold and quite big.
Because someone is green and kind they are extremely nice to people.
Big people that are cold will show you how rough they actually are.
Anyone that's rough and cold is also going to be blue.
If someone has a red face and feels blue and has a round body then you'll automatically think they are big.
You will discover that green rough people are always red.
People that are green tend to be young.
Rough, blue people tend to have a lot of green aspects.