Bob was born only a few years ago so he is young. Charlie is known to be rough and green. In the snow sits Dave, crying from being cold. I know Gary really well and you can say he is rough on the outside, cold on the inside and red all of the time. Whoever is rough and red must be kind. Kind and young people are round. Red, kind, rough people are the young ones. A rough, blue person is often said to be nice. If you big person approaches and is cold, fear not because they are nice. Someone with round, red, and kind traits also will be green. If someone is colored red but is cold, they tend to show a lot of green.
Bob is young.
("Bob" "is" "young" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is cold.
("Gary" "is" "cold" "+")
If someone is rough and red then they are kind.
((("someone" "is" "rough" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "kind" "+"))
If someone is young and kind then they are round.
((("someone" "is" "young" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "round" "+"))
If someone is red and kind and rough then they are young.
((("someone" "is" "red" "+") ("someone" "is" "kind" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "young" "+"))
If someone is blue and rough then they are nice.
((("someone" "is" "blue" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "nice" "+"))
If someone is big and cold then they are nice.
((("someone" "is" "big" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "nice" "+"))
If someone is round and red and kind then they are green.
((("someone" "is" "round" "+") ("someone" "is" "red" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "green" "+"))
If someone is red and cold then they are green.
((("someone" "is" "red" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "green" "+"))
Gary is red.
True
1
proof
[(triple6)]
("Gary" "is" "red" "+")
triple6
Dave is not cold.
False
1
inv-proof
[(triple4)]
("Dave" "is" "cold" "-")
triple4
Gary is kind.
True
3
proof
[(((triple5 triple6) -> rule1))]
("Gary" "is" "kind" "+")
((triple5 triple6) -> (rule1 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is not kind.
False
3
inv-proof
[(((triple5 triple6) -> rule1))]
("Gary" "is" "kind" "-")
((triple5 triple6) -> (rule1 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is young.
True
6
proof
[(((triple6 ((triple5 triple6) -> rule1) triple5) -> rule3))]
("Gary" "is" "young" "+")
((triple6 ((triple5 triple6) -> (rule1 % int2)) triple5) -> (rule3 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is not young.
False
6
inv-proof
[(((triple6 ((triple5 triple6) -> rule1) triple5) -> rule3))]
("Gary" "is" "young" "-")
((triple6 ((triple5 triple6) -> (rule1 % int2)) triple5) -> (rule3 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is round.
True
10
proof
[(((((triple6 ((triple5 triple6) -> rule1) triple5) -> rule3) ((triple5 triple6) -> rule1)) -> rule2))]
("Gary" "is" "round" "+")
((((triple6 ((triple5 triple6) -> (rule1 % int3)) triple5) -> (rule3 % int2)) ((triple5 triple6) -> (rule1 % int3))) -> (rule2 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is not round.
False
10
inv-proof
[(((((triple6 ((triple5 triple6) -> rule1) triple5) -> rule3) ((triple5 triple6) -> rule1)) -> rule2))]
("Gary" "is" "round" "-")
((((triple6 ((triple5 triple6) -> (rule1 % int3)) triple5) -> (rule3 % int2)) ((triple5 triple6) -> (rule1 % int3))) -> (rule2 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Bob is not green.
Unknown
inv-rconc
[@1: Bob is green.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Bob" "is" "green" "-")
Dave is round.
Unknown
rconc
[@2: Dave is round.[CWA. Example of deepest failure = (rule2 <- rule3 <- FAIL)]]
("Dave" "is" "round" "+")
Dave is not green.
Unknown
inv-rconc
[@1: Dave is green.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Dave" "is" "green" "-")
Gary is nice.
Unknown
rconc
[@1: Gary is nice.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Gary" "is" "nice" "+")
Charlie is not blue.
Unknown
inv-random
[@0: Charlie is blue.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "blue" "-")
Charlie is cold.
Unknown
random
[@0: Charlie is cold.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "cold" "+")
Gary is not big.
Unknown
inv-random
[@0: Gary is big.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "big" "-")
Dave is big.
Unknown
random
[@0: Dave is big.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "big" "+")
@0: Bob is young.[(triple1)] Charlie is green.[(triple3)] Charlie is rough.[(triple2)] Dave is cold.[(triple4)] Gary is cold.[(triple7)] Gary is red.[(triple6)] Gary is rough.[(triple5)] @1: Gary is green.[(((triple6 triple7) -> rule7) OR ((((((triple6 ((triple5 triple6) -> rule1) triple5) -> rule3) ((triple5 triple6) -> rule1)) -> rule2) triple6 ((triple5 triple6) -> rule1)) -> rule6))] Gary is kind.[(((triple5 triple6) -> rule1))] @2: Gary is young.[(((triple6 ((triple5 triple6) -> rule1) triple5) -> rule3))] @3: Gary is round.[(((((triple6 ((triple5 triple6) -> rule1) triple5) -> rule3) ((triple5 triple6) -> rule1)) -> rule2))]
Bob is young.
("Bob" "is" "young" "+")
triple1
Charlie is green.
("Charlie" "is" "green" "+")
triple3
Charlie is rough.
("Charlie" "is" "rough" "+")
triple2
Dave is cold.
("Dave" "is" "cold" "+")
triple4
Gary is cold.
("Gary" "is" "cold" "+")
triple7
Gary is red.
("Gary" "is" "red" "+")
triple6
Gary is rough.
("Gary" "is" "rough" "+")
triple5
Gary is green.
("Gary" "is" "green" "+")
((triple6 triple7) -> (rule7 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
((((((triple6 ((triple5 triple6) -> (rule1 % int4)) triple5) -> (rule3 % int3)) ((triple5 triple6) -> (rule1 % int4))) -> (rule2 % int2)) triple6 ((triple5 triple6) -> (rule1 % int4))) -> (rule6 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is kind.
("Gary" "is" "kind" "+")
int4
Gary is kind.
("Gary" "is" "kind" "+")
((triple5 triple6) -> (rule1 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
((triple6 ((triple5 triple6) -> (rule1 % int2)) triple5) -> (rule3 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
((((triple6 ((triple5 triple6) -> (rule1 % int3)) triple5) -> (rule3 % int2)) ((triple5 triple6) -> (rule1 % int3))) -> (rule2 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Bob was born only a few years ago so he is young.
Charlie is known to be rough and green.
In the snow sits Dave, crying from being cold.
I know Gary really well and you can say he is rough on the outside, cold on the inside and red all of the time.
Whoever is rough and red must be kind.
Kind and young people are round.
Red, kind, rough people are the young ones.
A rough, blue person is often said to be nice.
If you big person approaches and is cold, fear not because they are nice.
Someone with round, red, and kind traits also will be green.
If someone is colored red but is cold, they tend to show a lot of green.