Alan ate some rotten meat and now feels green. Bob fits the description of someone who is rough, red and blue. Charlie is known to be rough and green. Dave is young, but very kind to others. Dave is big, with round features. A person who's big and kind will also be cold. A big, kind someone could also be cold in a green dress. A young aged blue person will certainly be nice. Young people tend to be blue all the time and rough. A quite nice person will certainly be red. A person described as cold and kind can also be described as nice. All the kind people in blue were young.
Alan is green.
("Alan" "is" "green" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Dave is young.
("Dave" "is" "young" "+")
Dave is round.
("Dave" "is" "round" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is big.
("Dave" "is" "big" "+")
If someone is big and kind then they are cold.
((("someone" "is" "big" "+") ("someone" "is" "kind" "+")) -> ("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 and blue then they are nice.
((("someone" "is" "young" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "nice" "+"))
If someone is blue and young then they are rough.
((("someone" "is" "blue" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "rough" "+"))
If someone is nice then they are red.
((("someone" "is" "nice" "+")) -> ("someone" "is" "red" "+"))
If someone is cold and kind then they are nice.
((("someone" "is" "cold" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "nice" "+"))
If someone is blue and kind then they are young.
((("someone" "is" "blue" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "young" "+"))
Dave is kind.
True
1
proof
[(triple9)]
("Dave" "is" "kind" "+")
triple9
Dave is not young.
False
1
inv-proof
[(triple7)]
("Dave" "is" "young" "-")
triple7
Dave is cold.
True
3
proof
[(((triple10 triple9) -> rule1))]
("Dave" "is" "cold" "+")
((triple10 triple9) -> (rule1 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is not cold.
False
3
inv-proof
[(((triple10 triple9) -> rule1))]
("Dave" "is" "cold" "-")
((triple10 triple9) -> (rule1 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is green.
True
6
proof
[(((triple10 triple9 ((triple10 triple9) -> rule1)) -> rule2))]
("Dave" "is" "green" "+")
((triple10 triple9 ((triple10 triple9) -> (rule1 % int2))) -> (rule2 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is not nice.
False
5
inv-proof
[(((((triple10 triple9) -> rule1) triple9) -> rule6))]
("Dave" "is" "nice" "-")
((((triple10 triple9) -> (rule1 % int2)) triple9) -> (rule6 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is red.
True
6
proof
[(((((((triple10 triple9) -> rule1) triple9) -> rule6)) -> rule5))]
("Dave" "is" "red" "+")
((((((triple10 triple9) -> (rule1 % int3)) triple9) -> (rule6 % int2))) -> (rule5 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is not red.
False
6
inv-proof
[(((((((triple10 triple9) -> rule1) triple9) -> rule6)) -> rule5))]
("Dave" "is" "red" "-")
((((((triple10 triple9) -> (rule1 % int3)) triple9) -> (rule6 % int2))) -> (rule5 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Alan is not nice.
Unknown
inv-rconc
[@1: Alan is nice.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Alan" "is" "nice" "-")
Bob is green.
Unknown
rconc
[@1: Bob is green.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "green" "+")
Charlie is not red.
Unknown
inv-rconc
[@2: Charlie is red.[CWA. Example of deepest failure = (rule5 <- rule3 <- FAIL)]]
("Charlie" "is" "red" "-")
Alan is cold.
Unknown
rconc
[@1: Alan is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Alan" "is" "cold" "+")
Alan is not kind.
Unknown
inv-random
[@0: Alan is kind.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "kind" "-")
Alan is blue.
Unknown
random
[@0: Alan is blue.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "blue" "+")
Charlie is not blue.
Unknown
inv-random
[@0: Charlie is blue.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "blue" "-")
Bob is round.
Unknown
random
[@0: Bob is round.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "round" "+")
@0: Alan is green.[(triple1)] Bob is blue.[(triple4)] Bob is red.[(triple3)] Bob is rough.[(triple2)] Charlie is green.[(triple6)] Charlie is rough.[(triple5)] Dave is big.[(triple10)] Dave is kind.[(triple9)] Dave is round.[(triple8)] Dave is young.[(triple7)] @1: Dave is cold.[(((triple10 triple9) -> rule1))] @2: Dave is green.[(((triple10 triple9 ((triple10 triple9) -> rule1)) -> rule2))] Dave is nice.[(((((triple10 triple9) -> rule1) triple9) -> rule6))] @3: Dave is red.[(((((((triple10 triple9) -> rule1) triple9) -> rule6)) -> rule5))]
Alan is green.
("Alan" "is" "green" "+")
triple1
Bob is blue.
("Bob" "is" "blue" "+")
triple4
Bob is red.
("Bob" "is" "red" "+")
triple3
Bob is rough.
("Bob" "is" "rough" "+")
triple2
Charlie is green.
("Charlie" "is" "green" "+")
triple6
Charlie is rough.
("Charlie" "is" "rough" "+")
triple5
Dave is big.
("Dave" "is" "big" "+")
triple10
Dave is kind.
("Dave" "is" "kind" "+")
triple9
Dave is round.
("Dave" "is" "round" "+")
triple8
Dave is young.
("Dave" "is" "young" "+")
triple7
Dave is cold.
("Dave" "is" "cold" "+")
((triple10 triple9) -> (rule1 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
((triple10 triple9 ((triple10 triple9) -> (rule1 % int2))) -> (rule2 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
((((triple10 triple9) -> (rule1 % int2)) triple9) -> (rule6 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
((((((triple10 triple9) -> (rule1 % int3)) triple9) -> (rule6 % int2))) -> (rule5 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Alan ate some rotten meat and now feels green.
Bob fits the description of someone who is rough, red and blue.
Charlie is known to be rough and green.
Dave is young, but very kind to others; Dave is big, with round features.
A person who's big and kind will also be cold.
A big, kind someone could also be cold in a green dress.
A young aged blue person will certainly be nice.
Young people tend to be blue all the time and rough.
A quite nice person will certainly be red.
A person described as cold and kind can also be described as nice.
All the kind people in blue were young.