Alan, a green man, was also big, but underneath he was kind. Bob is rough and cold, but he's young and will get over it. Young Dave is wearing green pants. If you see someone who is red and green they are round, like Santa Claus. Whenever you are around kind and green people, you will notice they are very red. Anyone that is a red, nice soul will be big, too. A young, nice person will turn out to be a green person also. When you meet someone who is round, red and green, they will also be young.
Alan is kind.
("Alan" "is" "kind" "+")
Alan is green.
("Alan" "is" "green" "+")
Alan is big.
("Alan" "is" "big" "+")
Bob is young.
("Bob" "is" "young" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Dave is young.
("Dave" "is" "young" "+")
Dave is green.
("Dave" "is" "green" "+")
If someone is red and green then they are round.
((("someone" "is" "red" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "round" "+"))
If someone is kind and green then they are red.
((("someone" "is" "kind" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "red" "+"))
If someone is red and nice then they are big.
((("someone" "is" "red" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "big" "+"))
If someone is young and nice then they are green.
((("someone" "is" "young" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "green" "+"))
If someone is green and red and round then they are young.
((("someone" "is" "green" "+") ("someone" "is" "red" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "young" "+"))
Bob is young.
True
1
proof
[(triple4)]
("Bob" "is" "young" "+")
triple4
Alan is not green.
False
1
inv-proof
[(triple2)]
("Alan" "is" "green" "-")
triple2
Alan is red.
True
3
proof
[(((triple1 triple2) -> rule2))]
("Alan" "is" "red" "+")
((triple1 triple2) -> (rule2 % int1))
Alan is red.
("Alan" "is" "red" "+")
int1
Alan is not red.
False
3
inv-proof
[(((triple1 triple2) -> rule2))]
("Alan" "is" "red" "-")
((triple1 triple2) -> (rule2 % int1))
Alan is red.
("Alan" "is" "red" "+")
int1
Alan is round.
True
5
proof
[(((((triple1 triple2) -> rule2) triple2) -> rule1))]
("Alan" "is" "round" "+")
((((triple1 triple2) -> (rule2 % int2)) triple2) -> (rule1 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
int2
Alan is not round.
False
5
inv-proof
[(((((triple1 triple2) -> rule2) triple2) -> rule1))]
("Alan" "is" "round" "-")
((((triple1 triple2) -> (rule2 % int2)) triple2) -> (rule1 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
int2
Alan is young.
True
10
proof
[(((triple2 ((triple1 triple2) -> rule2) ((((triple1 triple2) -> rule2) triple2) -> rule1)) -> rule5))]
("Alan" "is" "young" "+")
((triple2 ((triple1 triple2) -> (rule2 % int3)) ((((triple1 triple2) -> (rule2 % int3)) triple2) -> (rule1 % int2))) -> (rule5 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is round.
("Alan" "is" "round" "+")
int2
Alan is red.
("Alan" "is" "red" "+")
int3
Alan is not young.
False
10
inv-proof
[(((triple2 ((triple1 triple2) -> rule2) ((((triple1 triple2) -> rule2) triple2) -> rule1)) -> rule5))]
("Alan" "is" "young" "-")
((triple2 ((triple1 triple2) -> (rule2 % int3)) ((((triple1 triple2) -> (rule2 % int3)) triple2) -> (rule1 % int2))) -> (rule5 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is round.
("Alan" "is" "round" "+")
int2
Alan is red.
("Alan" "is" "red" "+")
int3
Eric is not round.
Unknown
inv-rconc
[@2: Eric is round.[CWA. Example of deepest failure = (rule1 <- rule2 <- FAIL)]]
("Eric" "is" "round" "-")
Dave is round.
Unknown
rconc
[@2: Dave is round.[CWA. Example of deepest failure = (rule1 <- rule2 <- FAIL)]]
("Dave" "is" "round" "+")
Eric is not big.
Unknown
inv-rconc
[@1: Eric is big.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Eric" "is" "big" "-")
Bob is red.
Unknown
rconc
[@1: Bob is red.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "red" "+")
Alan is not cold.
Unknown
inv-random
[@0: Alan is cold.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "cold" "-")
Eric is blue.
Unknown
random
[@0: Eric is blue.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "blue" "+")
Bob is not nice.
Unknown
inv-random
[@0: Bob is nice.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "nice" "-")
Alan is blue.
Unknown
random
[@0: Alan is blue.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "blue" "+")
@0: Alan is big.[(triple3)] Alan is green.[(triple2)] Alan is kind.[(triple1)] Bob is cold.[(triple6)] Bob is rough.[(triple5)] Bob is young.[(triple4)] Dave is green.[(triple8)] Dave is young.[(triple7)] @1: Alan is red.[(((triple1 triple2) -> rule2))] @2: Alan is round.[(((((triple1 triple2) -> rule2) triple2) -> rule1))] @3: Alan is young.[(((triple2 ((triple1 triple2) -> rule2) ((((triple1 triple2) -> rule2) triple2) -> rule1)) -> rule5))]
Alan is big.
("Alan" "is" "big" "+")
triple3
Alan is green.
("Alan" "is" "green" "+")
triple2
Alan is kind.
("Alan" "is" "kind" "+")
triple1
Bob is cold.
("Bob" "is" "cold" "+")
triple6
Bob is rough.
("Bob" "is" "rough" "+")
triple5
Bob is young.
("Bob" "is" "young" "+")
triple4
Dave is green.
("Dave" "is" "green" "+")
triple8
Dave is young.
("Dave" "is" "young" "+")
triple7
Alan is red.
("Alan" "is" "red" "+")
((triple1 triple2) -> (rule2 % int1))
Alan is red.
("Alan" "is" "red" "+")
int1
Alan is round.
("Alan" "is" "round" "+")
((((triple1 triple2) -> (rule2 % int2)) triple2) -> (rule1 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
int2
Alan is young.
("Alan" "is" "young" "+")
((triple2 ((triple1 triple2) -> (rule2 % int3)) ((((triple1 triple2) -> (rule2 % int3)) triple2) -> (rule1 % int2))) -> (rule5 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is round.
("Alan" "is" "round" "+")
int2
Alan is red.
("Alan" "is" "red" "+")
int3
Alan, a green man, was also big, but underneath he was kind.
Bob is rough and cold, but he's young and will get over it.
Young Dave is wearing green pants.
If you see someone who is red and green they are round, like Santa Claus.
Whenever you are around kind and green people, you will notice they are very red.
Anyone that is a red, nice soul will be big, too.
A young, nice person will turn out to be a green person also.
When you meet someone who is round, red and green, they will also be young.