Dave is a man who is both round and rough. Young, red Eric is nice. Fred gets red when he is mad and tends to act very cold. Gary was green with envy. Though everyone thought he was a nice, young guy he was always blue. He would only focus on how round he was compared to others. This person is nice and young, also round, which makes them cold. Any big, kind person that turns red is cold to the touch. A kind and cold person who is green is, surprisingly, also blue. Among cold people, those who are round and kind are also rough. A person with a round body will be feeling very cold and will be rough to handle. Being blue, cold, and rough must be very trying. At least they are also big. Young people that are nice and green tend to be blue.
Dave is round.
("Dave" "is" "round" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Eric is young.
("Eric" "is" "young" "+")
Eric is red.
("Eric" "is" "red" "+")
Eric is nice.
("Eric" "is" "nice" "+")
Fred is red.
("Fred" "is" "red" "+")
Fred is cold.
("Fred" "is" "cold" "+")
Gary is young.
("Gary" "is" "young" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is blue.
("Gary" "is" "blue" "+")
If someone is young and nice and round then they are cold.
((("someone" "is" "young" "+") ("someone" "is" "nice" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "cold" "+"))
If someone is red and big and kind then they are cold.
((("someone" "is" "red" "+") ("someone" "is" "big" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "cold" "+"))
If someone is kind and cold and green then they are blue.
((("someone" "is" "kind" "+") ("someone" "is" "cold" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "blue" "+"))
If someone is cold and round and kind then they are rough.
((("someone" "is" "cold" "+") ("someone" "is" "round" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "rough" "+"))
If someone is cold and round then they are rough.
((("someone" "is" "cold" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "rough" "+"))
If someone is blue and cold and rough then they are big.
((("someone" "is" "blue" "+") ("someone" "is" "cold" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "big" "+"))
If someone is young and nice and green then they are blue.
((("someone" "is" "young" "+") ("someone" "is" "nice" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "blue" "+"))
Eric is nice.
True
1
proof
[(triple5)]
("Eric" "is" "nice" "+")
triple5
Fred is not red.
False
1
inv-proof
[(triple6)]
("Fred" "is" "red" "-")
triple6
Gary is cold.
True
4
proof
[(((triple8 triple10 triple9) -> rule1))]
("Gary" "is" "cold" "+")
((triple8 triple10 triple9) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is not cold.
False
4
inv-proof
[(((triple8 triple10 triple9) -> rule1))]
("Gary" "is" "cold" "-")
((triple8 triple10 triple9) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is rough.
True
6
proof
[(((((triple8 triple10 triple9) -> rule1) triple9) -> rule5))]
("Gary" "is" "rough" "+")
((((triple8 triple10 triple9) -> (rule1 % int2)) triple9) -> (rule5 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is not rough.
False
6
inv-proof
[(((((triple8 triple10 triple9) -> rule1) triple9) -> rule5))]
("Gary" "is" "rough" "-")
((((triple8 triple10 triple9) -> (rule1 % int2)) triple9) -> (rule5 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is big.
True
12
proof
[(((triple12 ((triple8 triple10 triple9) -> rule1) ((((triple8 triple10 triple9) -> rule1) triple9) -> rule5)) -> rule6) OR ((((triple8 triple10 triple11) -> rule7) ((triple8 triple10 triple9) -> rule1) ((((triple8 triple10 triple9) -> rule1) triple9) -> rule5)) -> rule6))]
("Gary" "is" "big" "+")
((triple12 ((triple8 triple10 triple9) -> (rule1 % int3)) ((((triple8 triple10 triple9) -> (rule1 % int3)) triple9) -> (rule5 % int2))) -> (rule6 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
((((triple8 triple10 triple11) -> (rule7 % int4)) ((triple8 triple10 triple9) -> (rule1 % int3)) ((((triple8 triple10 triple9) -> (rule1 % int3)) triple9) -> (rule5 % int2))) -> (rule6 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is blue.
("Gary" "is" "blue" "+")
int4
Gary is not big.
False
12
inv-proof
[(((triple12 ((triple8 triple10 triple9) -> rule1) ((((triple8 triple10 triple9) -> rule1) triple9) -> rule5)) -> rule6) OR ((((triple8 triple10 triple11) -> rule7) ((triple8 triple10 triple9) -> rule1) ((((triple8 triple10 triple9) -> rule1) triple9) -> rule5)) -> rule6))]
("Gary" "is" "big" "-")
((triple12 ((triple8 triple10 triple9) -> (rule1 % int3)) ((((triple8 triple10 triple9) -> (rule1 % int3)) triple9) -> (rule5 % int2))) -> (rule6 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
((((triple8 triple10 triple11) -> (rule7 % int4)) ((triple8 triple10 triple9) -> (rule1 % int3)) ((((triple8 triple10 triple9) -> (rule1 % int3)) triple9) -> (rule5 % int2))) -> (rule6 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is blue.
("Gary" "is" "blue" "+")
int4
Fred is not rough.
Unknown
inv-rconc
[@1: Fred is rough.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Fred" "is" "rough" "-")
Eric is blue.
Unknown
rconc
[@1: Eric is blue.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Eric" "is" "blue" "+")
Dave is not cold.
Unknown
inv-rconc
[@1: Dave is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "cold" "-")
Fred is big.
Unknown
rconc
[@2: Fred is big.[CWA. Example of deepest failure = (rule6 <- rule3 <- FAIL)]]
("Fred" "is" "big" "+")
Eric is not round.
Unknown
inv-random
[@0: Eric is round.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "round" "-")
Gary is kind.
Unknown
random
[@0: Gary is kind.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "kind" "+")
Gary is not red.
Unknown
inv-random
[@0: Gary is red.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "red" "-")
Dave is nice.
Unknown
random
[@0: Dave is nice.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "nice" "+")
@0: Dave is rough.[(triple2)] Dave is round.[(triple1)] Eric is nice.[(triple5)] Eric is red.[(triple4)] Eric is young.[(triple3)] Fred is cold.[(triple7)] Fred is red.[(triple6)] Gary is blue.[(triple12 OR ((triple8 triple10 triple11) -> rule7))] Gary is green.[(triple11)] Gary is nice.[(triple10)] Gary is round.[(triple9)] Gary is young.[(triple8)] @1: Gary is cold.[(((triple8 triple10 triple9) -> rule1))] @2: Gary is rough.[(((((triple8 triple10 triple9) -> rule1) triple9) -> rule5))] @3: Gary is big.[(((triple12 ((triple8 triple10 triple9) -> rule1) ((((triple8 triple10 triple9) -> rule1) triple9) -> rule5)) -> rule6) OR ((((triple8 triple10 triple11) -> rule7) ((triple8 triple10 triple9) -> rule1) ((((triple8 triple10 triple9) -> rule1) triple9) -> rule5)) -> rule6))]
Dave is rough.
("Dave" "is" "rough" "+")
triple2
Dave is round.
("Dave" "is" "round" "+")
triple1
Eric is nice.
("Eric" "is" "nice" "+")
triple5
Eric is red.
("Eric" "is" "red" "+")
triple4
Eric is young.
("Eric" "is" "young" "+")
triple3
Fred is cold.
("Fred" "is" "cold" "+")
triple7
Fred is red.
("Fred" "is" "red" "+")
triple6
Gary is blue.
("Gary" "is" "blue" "+")
triple12
((triple8 triple10 triple11) -> (rule7 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
triple11
Gary is nice.
("Gary" "is" "nice" "+")
triple10
Gary is round.
("Gary" "is" "round" "+")
triple9
Gary is young.
("Gary" "is" "young" "+")
triple8
Gary is cold.
("Gary" "is" "cold" "+")
((triple8 triple10 triple9) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
((((triple8 triple10 triple9) -> (rule1 % int2)) triple9) -> (rule5 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
((triple12 ((triple8 triple10 triple9) -> (rule1 % int3)) ((((triple8 triple10 triple9) -> (rule1 % int3)) triple9) -> (rule5 % int2))) -> (rule6 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
((((triple8 triple10 triple11) -> (rule7 % int4)) ((triple8 triple10 triple9) -> (rule1 % int3)) ((((triple8 triple10 triple9) -> (rule1 % int3)) triple9) -> (rule5 % int2))) -> (rule6 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is blue.
("Gary" "is" "blue" "+")
int4
Dave is a man who is both round and rough.
Young, red Eric is nice.
Fred gets red when he is mad and tends to act very cold.
Gary was green with envy; Though everyone thought he was a nice, young guy he was always blue; He would only focus on how round he was compared to others.
This person is nice and young, also round, which makes them cold.
Any big, kind person that turns red is cold to the touch.
A kind and cold person who is green is, surprisingly, also blue.
Among cold people, those who are round and kind are also rough.
A person with a round body will be feeling very cold and will be rough to handle.
Being blue, cold, and rough must be very trying; At least they are also big.
Young people that are nice and green tend to be blue.