Dave was looking rather round and feeling rather cold, but people thought he is kind. Everyone noticed how round and nice Fred was. He was kind, and everyone thought he was green and big. Gary is a rather big guy with rough features. He's pretty red and green, most of the time. A nice person who is green is feeling cold. A big, kind someone could also be cold in a green dress. It's a fact that young people are red people. If you meet someone who is big and kind with cold skin, they will be young.
Dave is round.
("Dave" "is" "round" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Fred is round.
("Fred" "is" "round" "+")
Fred is nice.
("Fred" "is" "nice" "+")
Fred is kind.
("Fred" "is" "kind" "+")
Fred is green.
("Fred" "is" "green" "+")
Fred is big.
("Fred" "is" "big" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is big.
("Gary" "is" "big" "+")
If someone is green and nice then they are cold.
((("someone" "is" "green" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "cold" "+"))
If someone is big and kind and cold then they are green.
((("someone" "is" "big" "+") ("someone" "is" "kind" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "green" "+"))
If someone is young then they are red.
((("someone" "is" "young" "+")) -> ("someone" "is" "red" "+"))
If someone is kind and cold and big then they are young.
((("someone" "is" "kind" "+") ("someone" "is" "cold" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "young" "+"))
Fred is big.
True
1
proof
[(triple8)]
("Fred" "is" "big" "+")
triple8
Fred is not kind.
False
1
inv-proof
[(triple6)]
("Fred" "is" "kind" "-")
triple6
Fred is cold.
True
3
proof
[(((triple7 triple5) -> rule1))]
("Fred" "is" "cold" "+")
((triple7 triple5) -> (rule1 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is not cold.
False
3
inv-proof
[(((triple7 triple5) -> rule1))]
("Fred" "is" "cold" "-")
((triple7 triple5) -> (rule1 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is young.
True
6
proof
[(((triple6 ((triple7 triple5) -> rule1) triple8) -> rule4))]
("Fred" "is" "young" "+")
((triple6 ((triple7 triple5) -> (rule1 % int2)) triple8) -> (rule4 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
int2
Fred is not young.
False
6
inv-proof
[(((triple6 ((triple7 triple5) -> rule1) triple8) -> rule4))]
("Fred" "is" "young" "-")
((triple6 ((triple7 triple5) -> (rule1 % int2)) triple8) -> (rule4 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
int2
Fred is red.
True
7
proof
[(((((triple6 ((triple7 triple5) -> rule1) triple8) -> rule4)) -> rule3))]
("Fred" "is" "red" "+")
((((triple6 ((triple7 triple5) -> (rule1 % int3)) triple8) -> (rule4 % int2))) -> (rule3 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Fred is young.
("Fred" "is" "young" "+")
int2
Fred is cold.
("Fred" "is" "cold" "+")
int3
Fred is not red.
False
7
inv-proof
[(((((triple6 ((triple7 triple5) -> rule1) triple8) -> rule4)) -> rule3))]
("Fred" "is" "red" "-")
((((triple6 ((triple7 triple5) -> (rule1 % int3)) triple8) -> (rule4 % int2))) -> (rule3 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Fred is young.
("Fred" "is" "young" "+")
int2
Fred is cold.
("Fred" "is" "cold" "+")
int3
Eric is not young.
Unknown
inv-rconc
[@1: Eric is young.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Eric" "is" "young" "-")
Eric is red.
Unknown
rconc
[@2: Eric is red.[CWA. Example of deepest failure = (rule3 <- rule4 <- FAIL)]]
("Eric" "is" "red" "+")
Eric is not cold.
Unknown
inv-rconc
[@1: Eric is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Eric" "is" "cold" "-")
Dave is green.
Unknown
rconc
[@1: Dave is green.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Dave" "is" "green" "+")
Eric is not blue.
Unknown
inv-random
[@0: Eric is blue.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "blue" "-")
Gary is round.
Unknown
random
[@0: Gary is round.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "round" "+")
Gary is not nice.
Unknown
inv-random
[@0: Gary is nice.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "nice" "-")
Dave is nice.
Unknown
random
[@0: Dave is nice.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "nice" "+")
@0: Dave is cold.[(triple3)] Dave is kind.[(triple2)] Dave is round.[(triple1)] Fred is big.[(triple8)] Fred is green.[(triple7)] Fred is kind.[(triple6)] Fred is nice.[(triple5)] Fred is round.[(triple4)] Gary is big.[(triple12)] Gary is green.[(triple11)] Gary is red.[(triple10)] Gary is rough.[(triple9)] @1: Fred is cold.[(((triple7 triple5) -> rule1))] @2: Fred is young.[(((triple6 ((triple7 triple5) -> rule1) triple8) -> rule4))] @3: Fred is red.[(((((triple6 ((triple7 triple5) -> rule1) triple8) -> rule4)) -> rule3))]
Dave is cold.
("Dave" "is" "cold" "+")
triple3
Dave is kind.
("Dave" "is" "kind" "+")
triple2
Dave is round.
("Dave" "is" "round" "+")
triple1
Fred is big.
("Fred" "is" "big" "+")
triple8
Fred is green.
("Fred" "is" "green" "+")
triple7
Fred is kind.
("Fred" "is" "kind" "+")
triple6
Fred is nice.
("Fred" "is" "nice" "+")
triple5
Fred is round.
("Fred" "is" "round" "+")
triple4
Gary is big.
("Gary" "is" "big" "+")
triple12
Gary is green.
("Gary" "is" "green" "+")
triple11
Gary is red.
("Gary" "is" "red" "+")
triple10
Gary is rough.
("Gary" "is" "rough" "+")
triple9
Fred is cold.
("Fred" "is" "cold" "+")
((triple7 triple5) -> (rule1 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is young.
("Fred" "is" "young" "+")
((triple6 ((triple7 triple5) -> (rule1 % int2)) triple8) -> (rule4 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
int2
Fred is red.
("Fred" "is" "red" "+")
((((triple6 ((triple7 triple5) -> (rule1 % int3)) triple8) -> (rule4 % int2))) -> (rule3 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Fred is young.
("Fred" "is" "young" "+")
int2
Fred is cold.
("Fred" "is" "cold" "+")
int3
Dave was looking rather round and feeling rather cold, but people thought he is kind.
Everyone noticed how round and nice Fred was; He was kind, and everyone thought he was green and big.
Gary is a rather big guy with rough features; He's pretty red and green, most of the time.
A nice person who is green is feeling cold.
A big, kind someone could also be cold in a green dress.
It's a fact that young people are red people.
If you meet someone who is big and kind with cold skin, they will be young.