Even though he's a big dude, Alan is cold. Bob is blue and cold. Dave is interestingly colored red and blue, and is also very kind. Eric is a rather nice, big and round fellow, who is also red from a sunburn and feeling blue. Big people who are round in stature and also feel rough are often cold to other people. If a kind, red person is also feeling blue then he will be cold to outsiders. Cold, red people are generally kind and big. If you meet someone who is big and kind with cold skin, they will be young. Generally, round and kind people are big.
Alan is cold.
("Alan" "is" "cold" "+")
Alan is big.
("Alan" "is" "big" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Eric is round.
("Eric" "is" "round" "+")
Eric is red.
("Eric" "is" "red" "+")
Eric is nice.
("Eric" "is" "nice" "+")
Eric is blue.
("Eric" "is" "blue" "+")
Eric is big.
("Eric" "is" "big" "+")
If someone is big and rough and round then they are cold.
((("someone" "is" "big" "+") ("someone" "is" "rough" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "cold" "+"))
If someone is kind and red and blue then they are cold.
((("someone" "is" "kind" "+") ("someone" "is" "red" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "cold" "+"))
If someone is kind and red and cold then they are big.
((("someone" "is" "kind" "+") ("someone" "is" "red" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "big" "+"))
If someone is kind and cold and big then they are young.
((("someone" "is" "kind" "+") ("someone" "is" "cold" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "young" "+"))
If someone is round and kind then they are big.
((("someone" "is" "round" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "big" "+"))
Dave is kind.
True
1
proof
[(triple6)]
("Dave" "is" "kind" "+")
triple6
Bob is not cold.
False
1
inv-proof
[(triple3)]
("Bob" "is" "cold" "-")
triple3
Dave is cold.
True
4
proof
[(((triple6 triple5 triple7) -> rule2))]
("Dave" "is" "cold" "+")
((triple6 triple5 triple7) -> (rule2 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is not cold.
False
4
inv-proof
[(((triple6 triple5 triple7) -> rule2))]
("Dave" "is" "cold" "-")
((triple6 triple5 triple7) -> (rule2 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is big.
True
7
proof
[(((triple6 triple5 ((triple6 triple5 triple7) -> rule2)) -> rule3))]
("Dave" "is" "big" "+")
((triple6 triple5 ((triple6 triple5 triple7) -> (rule2 % int2))) -> (rule3 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is not big.
False
7
inv-proof
[(((triple6 triple5 ((triple6 triple5 triple7) -> rule2)) -> rule3))]
("Dave" "is" "big" "-")
((triple6 triple5 ((triple6 triple5 triple7) -> (rule2 % int2))) -> (rule3 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is young.
True
13
proof
[(((triple6 ((triple6 triple5 triple7) -> rule2) ((triple6 triple5 ((triple6 triple5 triple7) -> rule2)) -> rule3)) -> rule4))]
("Dave" "is" "young" "+")
((triple6 ((triple6 triple5 triple7) -> (rule2 % int3)) ((triple6 triple5 ((triple6 triple5 triple7) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is not young.
False
13
inv-proof
[(((triple6 ((triple6 triple5 triple7) -> rule2) ((triple6 triple5 ((triple6 triple5 triple7) -> rule2)) -> rule3)) -> rule4))]
("Dave" "is" "young" "-")
((triple6 ((triple6 triple5 triple7) -> (rule2 % int3)) ((triple6 triple5 ((triple6 triple5 triple7) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Bob is not big.
Unknown
inv-rconc
[@1: Bob is big.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Bob" "is" "big" "-")
Eric is young.
Unknown
rconc
[@1: Eric is young.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Eric" "is" "young" "+")
Eric is not cold.
Unknown
inv-rconc
[@1: Eric is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Eric" "is" "cold" "-")
Alan is young.
Unknown
rconc
[@1: Alan is young.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Alan" "is" "young" "+")
Dave is not rough.
Unknown
inv-random
[@0: Dave is rough.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "rough" "-")
Alan is round.
Unknown
random
[@0: Alan is round.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "round" "+")
Alan is not kind.
Unknown
inv-random
[@0: Alan is kind.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "kind" "-")
Alan is red.
Unknown
random
[@0: Alan is red.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "red" "+")
@0: Alan is big.[(triple2)] Alan is cold.[(triple1)] Bob is blue.[(triple4)] Bob is cold.[(triple3)] Dave is blue.[(triple7)] Dave is kind.[(triple6)] Dave is red.[(triple5)] Eric is big.[(triple12)] Eric is blue.[(triple11)] Eric is nice.[(triple10)] Eric is red.[(triple9)] Eric is round.[(triple8)] @1: Dave is cold.[(((triple6 triple5 triple7) -> rule2))] @2: Dave is big.[(((triple6 triple5 ((triple6 triple5 triple7) -> rule2)) -> rule3))] @3: Dave is young.[(((triple6 ((triple6 triple5 triple7) -> rule2) ((triple6 triple5 ((triple6 triple5 triple7) -> rule2)) -> rule3)) -> rule4))]
Alan is big.
("Alan" "is" "big" "+")
triple2
Alan is cold.
("Alan" "is" "cold" "+")
triple1
Bob is blue.
("Bob" "is" "blue" "+")
triple4
Bob is cold.
("Bob" "is" "cold" "+")
triple3
Dave is blue.
("Dave" "is" "blue" "+")
triple7
Dave is kind.
("Dave" "is" "kind" "+")
triple6
Dave is red.
("Dave" "is" "red" "+")
triple5
Eric is big.
("Eric" "is" "big" "+")
triple12
Eric is blue.
("Eric" "is" "blue" "+")
triple11
Eric is nice.
("Eric" "is" "nice" "+")
triple10
Eric is red.
("Eric" "is" "red" "+")
triple9
Eric is round.
("Eric" "is" "round" "+")
triple8
Dave is cold.
("Dave" "is" "cold" "+")
((triple6 triple5 triple7) -> (rule2 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
((triple6 triple5 ((triple6 triple5 triple7) -> (rule2 % int2))) -> (rule3 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
((triple6 ((triple6 triple5 triple7) -> (rule2 % int3)) ((triple6 triple5 ((triple6 triple5 triple7) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Even though he's a big dude, Alan is cold.
Bob is blue and cold.
Dave is interestingly colored red and blue, and is also very kind.
Eric is a rather nice, big and round fellow, who is also red from a sunburn and feeling blue.
Big people who are round in stature and also feel rough are often cold to other people.
If a kind, red person is also feeling blue then he will be cold to outsiders.
Cold, red people are generally kind and big.
If you meet someone who is big and kind with cold skin, they will be young.
Generally, round and kind people are big.