That man standing next to you with a big round body goes by the name of Alan. Dave is interestingly colored red and blue, and is also very kind. Harry is blue and cold. Big and cold people tend to see red and dont live green lifestyle. A person that is cold, blue and nice is also considered to be round. I've noticed that kind people are also big. Big, young people feel cold all the time. When a nice blue person is also red, they get called rough. Take a drive and find a kind and blue driver, that means they are also young.
Alan is round.
("Alan" "is" "round" "+")
Alan is big.
("Alan" "is" "big" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is blue.
("Harry" "is" "blue" "+")
If someone is red and big and cold then they are green.
((("someone" "is" "red" "+") ("someone" "is" "big" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "green" "+"))
If someone is cold and blue and nice then they are round.
((("someone" "is" "cold" "+") ("someone" "is" "blue" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "round" "+"))
If someone is kind then they are big.
((("someone" "is" "kind" "+")) -> ("someone" "is" "big" "+"))
If someone is young and big then they are cold.
((("someone" "is" "young" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "cold" "+"))
If someone is nice and red and blue then they are rough.
((("someone" "is" "nice" "+") ("someone" "is" "red" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "rough" "+"))
If someone is kind and blue then they are young.
((("someone" "is" "kind" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "young" "+"))
Dave is blue.
True
1
proof
[(triple5)]
("Dave" "is" "blue" "+")
triple5
Alan is not round.
False
1
inv-proof
[(triple1)]
("Alan" "is" "round" "-")
triple1
Dave is young.
True
3
proof
[(((triple4 triple5) -> rule6))]
("Dave" "is" "young" "+")
((triple4 triple5) -> (rule6 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is not big.
False
2
inv-proof
[(((triple4) -> rule3))]
("Dave" "is" "big" "-")
((triple4) -> (rule3 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is cold.
True
6
proof
[(((((triple4 triple5) -> rule6) ((triple4) -> rule3)) -> rule4))]
("Dave" "is" "cold" "+")
((((triple4 triple5) -> (rule6 % int3)) ((triple4) -> (rule3 % int2))) -> (rule4 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Dave is not cold.
False
6
inv-proof
[(((((triple4 triple5) -> rule6) ((triple4) -> rule3)) -> rule4))]
("Dave" "is" "cold" "-")
((((triple4 triple5) -> (rule6 % int3)) ((triple4) -> (rule3 % int2))) -> (rule4 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Dave is green.
True
10
proof
[(((triple3 ((triple4) -> rule3) ((((triple4 triple5) -> rule6) ((triple4) -> rule3)) -> rule4)) -> rule1))]
("Dave" "is" "green" "+")
((triple3 ((triple4) -> (rule3 % int4)) ((((triple4 triple5) -> (rule6 % int3)) ((triple4) -> (rule3 % int4))) -> (rule4 % int2))) -> (rule1 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Dave is big.
("Dave" "is" "big" "+")
int4
Dave is not green.
False
10
inv-proof
[(((triple3 ((triple4) -> rule3) ((((triple4 triple5) -> rule6) ((triple4) -> rule3)) -> rule4)) -> rule1))]
("Dave" "is" "green" "-")
((triple3 ((triple4) -> (rule3 % int4)) ((((triple4 triple5) -> (rule6 % int3)) ((triple4) -> (rule3 % int4))) -> (rule4 % int2))) -> (rule1 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Dave is big.
("Dave" "is" "big" "+")
int4
Harry is not green.
Unknown
inv-rconc
[@1: Harry is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "green" "-")
Eric is young.
Unknown
rconc
[@1: Eric is young.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Eric" "is" "young" "+")
Alan is not cold.
Unknown
inv-rconc
[@2: Alan is cold.[CWA. Example of deepest failure = (rule4 <- rule6 <- FAIL)]]
("Alan" "is" "cold" "-")
Eric is round.
Unknown
rconc
[@1: Eric is round.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Eric" "is" "round" "+")
Eric is not nice.
Unknown
inv-random
[@0: Eric is nice.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "nice" "-")
Harry is nice.
Unknown
random
[@0: Harry is nice.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "nice" "+")
Dave is not nice.
Unknown
inv-random
[@0: Dave is nice.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "nice" "-")
Eric is blue.
Unknown
random
[@0: Eric is blue.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "blue" "+")
@0: Alan is big.[(triple2)] Alan is round.[(triple1)] Dave is blue.[(triple5)] Dave is kind.[(triple4)] Dave is red.[(triple3)] Harry is blue.[(triple7)] Harry is cold.[(triple6)] @1: Dave is big.[(((triple4) -> rule3))] Dave is young.[(((triple4 triple5) -> rule6))] @2: Dave is cold.[(((((triple4 triple5) -> rule6) ((triple4) -> rule3)) -> rule4))] @3: Dave is green.[(((triple3 ((triple4) -> rule3) ((((triple4 triple5) -> rule6) ((triple4) -> rule3)) -> rule4)) -> rule1))]
Alan is big.
("Alan" "is" "big" "+")
triple2
Alan is round.
("Alan" "is" "round" "+")
triple1
Dave is blue.
("Dave" "is" "blue" "+")
triple5
Dave is kind.
("Dave" "is" "kind" "+")
triple4
Dave is red.
("Dave" "is" "red" "+")
triple3
Harry is blue.
("Harry" "is" "blue" "+")
triple7
Harry is cold.
("Harry" "is" "cold" "+")
triple6
Dave is big.
("Dave" "is" "big" "+")
((triple4) -> (rule3 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
((triple4 triple5) -> (rule6 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
((((triple4 triple5) -> (rule6 % int3)) ((triple4) -> (rule3 % int2))) -> (rule4 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Dave is green.
("Dave" "is" "green" "+")
((triple3 ((triple4) -> (rule3 % int4)) ((((triple4 triple5) -> (rule6 % int3)) ((triple4) -> (rule3 % int4))) -> (rule4 % int2))) -> (rule1 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Dave is big.
("Dave" "is" "big" "+")
int4
That man standing next to you with a big round body goes by the name of Alan.
Dave is interestingly colored red and blue, and is also very kind.
Harry is blue and cold.
Big and cold people tend to see red and dont live green lifestyle.
A person that is cold, blue and nice is also considered to be round.
I've noticed that kind people are also big.
Big, young people feel cold all the time.
When a nice blue person is also red, they get called rough.
Take a drive and find a kind and blue driver, that means they are also young.