In the snow sits Alan, crying from being cold. Dave is round shaped and green colored. I was surprised at how green and blue young, round Eric is. Big Gary is nice but also rough. A round person who is nice is young. A green and red colored person who is rather nice will definitely be kind. A person who's big and kind will also be cold. Rough people are often round. Red people who are green and blue are always kind. Take a drive and find a kind and blue driver, that means they are also young. A young, big sized person will certainly be a kind one.
Alan is cold.
("Alan" "is" "cold" "+")
Dave is round.
("Dave" "is" "round" "+")
Dave is green.
("Dave" "is" "green" "+")
Eric is young.
("Eric" "is" "young" "+")
Eric is round.
("Eric" "is" "round" "+")
Eric is green.
("Eric" "is" "green" "+")
Eric is blue.
("Eric" "is" "blue" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is big.
("Gary" "is" "big" "+")
If someone is nice and round then they are young.
((("someone" "is" "nice" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "young" "+"))
If someone is green and nice and red then they are kind.
((("someone" "is" "green" "+") ("someone" "is" "nice" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "kind" "+"))
If someone is big and kind then they are cold.
((("someone" "is" "big" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "cold" "+"))
If someone is rough then they are round.
((("someone" "is" "rough" "+")) -> ("someone" "is" "round" "+"))
If someone is red and blue and green then they are kind.
((("someone" "is" "red" "+") ("someone" "is" "blue" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "kind" "+"))
If someone is kind and blue then they are young.
((("someone" "is" "kind" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "young" "+"))
If someone is young and big then they are kind.
((("someone" "is" "young" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "kind" "+"))
Eric is blue.
True
1
proof
[(triple7)]
("Eric" "is" "blue" "+")
triple7
Eric is not young.
False
1
inv-proof
[(triple4)]
("Eric" "is" "young" "-")
triple4
Gary is round.
True
2
proof
[(((triple8) -> rule4))]
("Gary" "is" "round" "+")
((triple8) -> (rule4 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is not round.
False
2
inv-proof
[(((triple8) -> rule4))]
("Gary" "is" "round" "-")
((triple8) -> (rule4 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is young.
True
4
proof
[(((triple9 ((triple8) -> rule4)) -> rule1))]
("Gary" "is" "young" "+")
((triple9 ((triple8) -> (rule4 % int2))) -> (rule1 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is not young.
False
4
inv-proof
[(((triple9 ((triple8) -> rule4)) -> rule1))]
("Gary" "is" "young" "-")
((triple9 ((triple8) -> (rule4 % int2))) -> (rule1 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is kind.
True
6
proof
[(((((triple9 ((triple8) -> rule4)) -> rule1) triple10) -> rule7))]
("Gary" "is" "kind" "+")
((((triple9 ((triple8) -> (rule4 % int3))) -> (rule1 % int2)) triple10) -> (rule7 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is not kind.
False
6
inv-proof
[(((((triple9 ((triple8) -> rule4)) -> rule1) triple10) -> rule7))]
("Gary" "is" "kind" "-")
((((triple9 ((triple8) -> (rule4 % int3))) -> (rule1 % int2)) triple10) -> (rule7 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is cold.
True
8
proof
[(((triple10 ((((triple9 ((triple8) -> rule4)) -> rule1) triple10) -> rule7)) -> rule3))]
("Gary" "is" "cold" "+")
((triple10 ((((triple9 ((triple8) -> (rule4 % int4))) -> (rule1 % int3)) triple10) -> (rule7 % int2))) -> (rule3 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
Gary is not cold.
False
8
inv-proof
[(((triple10 ((((triple9 ((triple8) -> rule4)) -> rule1) triple10) -> rule7)) -> rule3))]
("Gary" "is" "cold" "-")
((triple10 ((((triple9 ((triple8) -> (rule4 % int4))) -> (rule1 % int3)) triple10) -> (rule7 % int2))) -> (rule3 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
Dave is not cold.
Unknown
inv-rconc
[@1: Dave is cold.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Dave" "is" "cold" "-")
Dave is young.
Unknown
rconc
[@1: Dave is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "young" "+")
Eric is not cold.
Unknown
inv-rconc
[@1: Eric is cold.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Eric" "is" "cold" "-")
Alan is young.
Unknown
rconc
[@1: Alan is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Alan" "is" "young" "+")
Alan is not round.
Unknown
inv-rconc
[@1: Alan is round.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Alan" "is" "round" "-")
Dave is nice.
Unknown
random
[@0: Dave is nice.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "nice" "+")
Eric is not big.
Unknown
inv-random
[@0: Eric is big.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "big" "-")
Dave is big.
Unknown
random
[@0: Dave is big.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "big" "+")
Dave is not blue.
Unknown
inv-random
[@0: Dave is blue.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "blue" "-")
Alan is blue.
Unknown
random
[@0: Alan is blue.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "blue" "+")
@0: Alan is cold.[(triple1)] Dave is green.[(triple3)] Dave is round.[(triple2)] Eric is blue.[(triple7)] Eric is green.[(triple6)] Eric is round.[(triple5)] Eric is young.[(triple4)] Gary is big.[(triple10)] Gary is nice.[(triple9)] Gary is rough.[(triple8)] @1: Gary is round.[(((triple8) -> rule4))] @2: Gary is young.[(((triple9 ((triple8) -> rule4)) -> rule1))] @3: Gary is kind.[(((((triple9 ((triple8) -> rule4)) -> rule1) triple10) -> rule7))] @4: Gary is cold.[(((triple10 ((((triple9 ((triple8) -> rule4)) -> rule1) triple10) -> rule7)) -> rule3))]
Alan is cold.
("Alan" "is" "cold" "+")
triple1
Dave is green.
("Dave" "is" "green" "+")
triple3
Dave is round.
("Dave" "is" "round" "+")
triple2
Eric is blue.
("Eric" "is" "blue" "+")
triple7
Eric is green.
("Eric" "is" "green" "+")
triple6
Eric is round.
("Eric" "is" "round" "+")
triple5
Eric is young.
("Eric" "is" "young" "+")
triple4
Gary is big.
("Gary" "is" "big" "+")
triple10
Gary is nice.
("Gary" "is" "nice" "+")
triple9
Gary is rough.
("Gary" "is" "rough" "+")
triple8
Gary is round.
("Gary" "is" "round" "+")
((triple8) -> (rule4 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
((triple9 ((triple8) -> (rule4 % int2))) -> (rule1 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
((((triple9 ((triple8) -> (rule4 % int3))) -> (rule1 % int2)) triple10) -> (rule7 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is cold.
("Gary" "is" "cold" "+")
((triple10 ((((triple9 ((triple8) -> (rule4 % int4))) -> (rule1 % int3)) triple10) -> (rule7 % int2))) -> (rule3 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
In the snow sits Alan, crying from being cold.
Dave is round shaped and green colored.
I was surprised at how green and blue young, round Eric is.
Big Gary is nice but also rough.
A round person who is nice is young.
A green and red colored person who is rather nice will definitely be kind.
A person who's big and kind will also be cold.
Rough people are often round.
Red people who are green and blue are always kind.
Take a drive and find a kind and blue driver, that means they are also young.
A young, big sized person will certainly be a kind one.