Charlie is big and tends to wear red shirts. Fred ate some rotten meat and now feels green. Gary is a round young man which makes him green and rough around the edges but he is nice though today he seems rather blue. Harry is a person both green and big. A cold person who is round but rough around the edges is big. Green, nice people who have round shapes are going to be kind to you. A green person who is kind and a bit blue is young. A nice and blue person who's also red will be a rough person. Young people tend to be blue all the time and rough. Young, kind people with a round body shape can be cold to strangers. Kind young people are also red and green.
If someone is round and cold and rough then they are big.
((("someone" "is" "round" "+") ("someone" "is" "cold" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "big" "+"))
If someone is green and round and nice then they are kind.
((("someone" "is" "green" "+") ("someone" "is" "round" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "kind" "+"))
If someone is blue and kind and green then they are young.
((("someone" "is" "blue" "+") ("someone" "is" "kind" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "young" "+"))
If someone is blue and nice and red then they are rough.
((("someone" "is" "blue" "+") ("someone" "is" "nice" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "rough" "+"))
If someone is blue and young then they are rough.
((("someone" "is" "blue" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "rough" "+"))
If someone is kind and young and round then they are cold.
((("someone" "is" "kind" "+") ("someone" "is" "young" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "cold" "+"))
If someone is red and young and kind then they are green.
((("someone" "is" "red" "+") ("someone" "is" "young" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "green" "+"))
Charlie is big.
True
1
proof
[(triple2)]
("Charlie" "is" "big" "+")
triple2
Gary is not rough.
False
1
inv-proof
[(triple6 OR ((triple9 triple4) -> rule5) OR ((triple9 ((triple9 ((triple8 triple5 triple7) -> rule2) triple8) -> rule3)) -> rule5))]
("Gary" "is" "rough" "-")
triple6
((triple9 triple4) -> (rule5 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
((triple9 ((triple9 ((triple8 triple5 triple7) -> (rule2 % int3)) triple8) -> (rule3 % int2))) -> (rule5 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is kind.
True
4
proof
[(((triple8 triple5 triple7) -> rule2))]
("Gary" "is" "kind" "+")
((triple8 triple5 triple7) -> (rule2 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is not kind.
False
4
inv-proof
[(((triple8 triple5 triple7) -> rule2))]
("Gary" "is" "kind" "-")
((triple8 triple5 triple7) -> (rule2 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is cold.
True
7
proof
[(((((triple8 triple5 triple7) -> rule2) triple4 triple5) -> rule6) OR ((((triple8 triple5 triple7) -> rule2) ((triple9 ((triple8 triple5 triple7) -> rule2) triple8) -> rule3) triple5) -> rule6))]
("Gary" "is" "cold" "+")
((((triple8 triple5 triple7) -> (rule2 % int2)) triple4 triple5) -> (rule6 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
((((triple8 triple5 triple7) -> (rule2 % int3)) ((triple9 ((triple8 triple5 triple7) -> (rule2 % int3)) triple8) -> (rule3 % int2)) triple5) -> (rule6 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is not cold.
False
7
inv-proof
[(((((triple8 triple5 triple7) -> rule2) triple4 triple5) -> rule6) OR ((((triple8 triple5 triple7) -> rule2) ((triple9 ((triple8 triple5 triple7) -> rule2) triple8) -> rule3) triple5) -> rule6))]
("Gary" "is" "cold" "-")
((((triple8 triple5 triple7) -> (rule2 % int2)) triple4 triple5) -> (rule6 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
((((triple8 triple5 triple7) -> (rule2 % int3)) ((triple9 ((triple8 triple5 triple7) -> (rule2 % int3)) triple8) -> (rule3 % int2)) triple5) -> (rule6 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is big.
True
10
proof
[(((triple5 ((((triple8 triple5 triple7) -> rule2) triple4 triple5) -> rule6) triple6) -> rule1) OR ((triple5 ((((triple8 triple5 triple7) -> rule2) triple4 triple5) -> rule6) ((triple9 triple4) -> rule5)) -> rule1) OR ((triple5 ((((triple8 triple5 triple7) -> rule2) ((triple9 ((triple8 triple5 triple7) -> rule2) triple8) -> rule3) triple5) -> rule6) triple6) -> rule1) OR ((triple5 ((((triple8 triple5 triple7) -> rule2) triple4 triple5) -> rule6) ((triple9 ((triple9 ((triple8 triple5 triple7) -> rule2) triple8) -> rule3)) -> rule5)) -> rule1) OR ((triple5 ((((triple8 triple5 triple7) -> rule2) ((triple9 ((triple8 triple5 triple7) -> rule2) triple8) -> rule3) triple5) -> rule6) ((triple9 triple4) -> rule5)) -> rule1) OR ((triple5 ((((triple8 triple5 triple7) -> rule2) ((triple9 ((triple8 triple5 triple7) -> rule2) triple8) -> rule3) triple5) -> rule6) ((triple9 ((triple9 ((triple8 triple5 triple7) -> rule2) triple8) -> rule3)) -> rule5)) -> rule1))]
("Gary" "is" "big" "+")
((triple5 ((((triple8 triple5 triple7) -> (rule2 % int3)) triple4 triple5) -> (rule6 % int2)) triple6) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
((triple5 ((((triple8 triple5 triple7) -> (rule2 % int4)) triple4 triple5) -> (rule6 % int3)) ((triple9 triple4) -> (rule5 % int2))) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is kind.
("Gary" "is" "kind" "+")
int4
((triple5 ((((triple8 triple5 triple7) -> (rule2 % int4)) ((triple9 ((triple8 triple5 triple7) -> (rule2 % int4)) triple8) -> (rule3 % int3)) triple5) -> (rule6 % int2)) triple6) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is kind.
("Gary" "is" "kind" "+")
int4
((triple5 ((((triple8 triple5 triple7) -> (rule2 % int5)) triple4 triple5) -> (rule6 % int4)) ((triple9 ((triple9 ((triple8 triple5 triple7) -> (rule2 % int5)) triple8) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is cold.
("Gary" "is" "cold" "+")
int4
Gary is kind.
("Gary" "is" "kind" "+")
int5
((triple5 ((((triple8 triple5 triple7) -> (rule2 % int5)) ((triple9 ((triple8 triple5 triple7) -> (rule2 % int5)) triple8) -> (rule3 % int4)) triple5) -> (rule6 % int3)) ((triple9 triple4) -> (rule5 % int2))) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
Gary is kind.
("Gary" "is" "kind" "+")
int5
((triple5 ((((triple8 triple5 triple7) -> (rule2 % int5)) ((triple9 ((triple8 triple5 triple7) -> (rule2 % int5)) triple8) -> (rule3 % int4)) triple5) -> (rule6 % int3)) ((triple9 ((triple9 ((triple8 triple5 triple7) -> (rule2 % int5)) triple8) -> (rule3 % int4))) -> (rule5 % int2))) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
Gary is kind.
("Gary" "is" "kind" "+")
int5
Gary is not big.
False
10
inv-proof
[(((triple5 ((((triple8 triple5 triple7) -> rule2) triple4 triple5) -> rule6) triple6) -> rule1) OR ((triple5 ((((triple8 triple5 triple7) -> rule2) triple4 triple5) -> rule6) ((triple9 triple4) -> rule5)) -> rule1) OR ((triple5 ((((triple8 triple5 triple7) -> rule2) ((triple9 ((triple8 triple5 triple7) -> rule2) triple8) -> rule3) triple5) -> rule6) triple6) -> rule1) OR ((triple5 ((((triple8 triple5 triple7) -> rule2) triple4 triple5) -> rule6) ((triple9 ((triple9 ((triple8 triple5 triple7) -> rule2) triple8) -> rule3)) -> rule5)) -> rule1) OR ((triple5 ((((triple8 triple5 triple7) -> rule2) ((triple9 ((triple8 triple5 triple7) -> rule2) triple8) -> rule3) triple5) -> rule6) ((triple9 triple4) -> rule5)) -> rule1) OR ((triple5 ((((triple8 triple5 triple7) -> rule2) ((triple9 ((triple8 triple5 triple7) -> rule2) triple8) -> rule3) triple5) -> rule6) ((triple9 ((triple9 ((triple8 triple5 triple7) -> rule2) triple8) -> rule3)) -> rule5)) -> rule1))]
("Gary" "is" "big" "-")
((triple5 ((((triple8 triple5 triple7) -> (rule2 % int3)) triple4 triple5) -> (rule6 % int2)) triple6) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
((triple5 ((((triple8 triple5 triple7) -> (rule2 % int4)) triple4 triple5) -> (rule6 % int3)) ((triple9 triple4) -> (rule5 % int2))) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is kind.
("Gary" "is" "kind" "+")
int4
((triple5 ((((triple8 triple5 triple7) -> (rule2 % int4)) ((triple9 ((triple8 triple5 triple7) -> (rule2 % int4)) triple8) -> (rule3 % int3)) triple5) -> (rule6 % int2)) triple6) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is kind.
("Gary" "is" "kind" "+")
int4
((triple5 ((((triple8 triple5 triple7) -> (rule2 % int5)) triple4 triple5) -> (rule6 % int4)) ((triple9 ((triple9 ((triple8 triple5 triple7) -> (rule2 % int5)) triple8) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is cold.
("Gary" "is" "cold" "+")
int4
Gary is kind.
("Gary" "is" "kind" "+")
int5
((triple5 ((((triple8 triple5 triple7) -> (rule2 % int5)) ((triple9 ((triple8 triple5 triple7) -> (rule2 % int5)) triple8) -> (rule3 % int4)) triple5) -> (rule6 % int3)) ((triple9 triple4) -> (rule5 % int2))) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
Gary is kind.
("Gary" "is" "kind" "+")
int5
((triple5 ((((triple8 triple5 triple7) -> (rule2 % int5)) ((triple9 ((triple8 triple5 triple7) -> (rule2 % int5)) triple8) -> (rule3 % int4)) triple5) -> (rule6 % int3)) ((triple9 ((triple9 ((triple8 triple5 triple7) -> (rule2 % int5)) triple8) -> (rule3 % int4))) -> (rule5 % int2))) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
Gary is kind.
("Gary" "is" "kind" "+")
int5
Harry is not young.
Unknown
inv-rconc
[@1: Harry is young.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Harry" "is" "young" "-")
Fred is rough.
Unknown
rconc
[@1: Fred is rough.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Fred" "is" "rough" "+")
Harry is not cold.
Unknown
inv-rconc
[@1: Harry is cold.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Harry" "is" "cold" "-")
Charlie is green.
Unknown
rconc
[@2: Charlie is green.[CWA. Example of deepest failure = (rule7 <- rule3 <- FAIL)]]
("Charlie" "is" "green" "+")
Fred is not blue.
Unknown
inv-random
[@0: Fred is blue.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "blue" "-")
Charlie is blue.
Unknown
random
[@0: Charlie is blue.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "blue" "+")
Charlie is not round.
Unknown
inv-random
[@0: Charlie is round.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "round" "-")
Gary is red.
Unknown
random
[@0: Gary is red.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "red" "+")
@0: Charlie is big.[(triple2)] Charlie is red.[(triple1)] Fred is green.[(triple3)] Gary is blue.[(triple9)] Gary is green.[(triple8)] Gary is nice.[(triple7)] Gary is rough.[(triple6 OR ((triple9 triple4) -> rule5) OR ((triple9 ((triple9 ((triple8 triple5 triple7) -> rule2) triple8) -> rule3)) -> rule5))] Gary is round.[(triple5)] Gary is young.[(triple4 OR ((triple9 ((triple8 triple5 triple7) -> rule2) triple8) -> rule3))] Harry is big.[(triple11)] Harry is green.[(triple10)] @1: Gary is kind.[(((triple8 triple5 triple7) -> rule2))] @2: Gary is cold.[(((((triple8 triple5 triple7) -> rule2) triple4 triple5) -> rule6) OR ((((triple8 triple5 triple7) -> rule2) ((triple9 ((triple8 triple5 triple7) -> rule2) triple8) -> rule3) triple5) -> rule6))] @3: Gary is big.[(((triple5 ((((triple8 triple5 triple7) -> rule2) triple4 triple5) -> rule6) triple6) -> rule1) OR ((triple5 ((((triple8 triple5 triple7) -> rule2) triple4 triple5) -> rule6) ((triple9 triple4) -> rule5)) -> rule1) OR ((triple5 ((((triple8 triple5 triple7) -> rule2) ((triple9 ((triple8 triple5 triple7) -> rule2) triple8) -> rule3) triple5) -> rule6) triple6) -> rule1) OR ((triple5 ((((triple8 triple5 triple7) -> rule2) triple4 triple5) -> rule6) ((triple9 ((triple9 ((triple8 triple5 triple7) -> rule2) triple8) -> rule3)) -> rule5)) -> rule1) OR ((triple5 ((((triple8 triple5 triple7) -> rule2) ((triple9 ((triple8 triple5 triple7) -> rule2) triple8) -> rule3) triple5) -> rule6) ((triple9 triple4) -> rule5)) -> rule1) OR ((triple5 ((((triple8 triple5 triple7) -> rule2) ((triple9 ((triple8 triple5 triple7) -> rule2) triple8) -> rule3) triple5) -> rule6) ((triple9 ((triple9 ((triple8 triple5 triple7) -> rule2) triple8) -> rule3)) -> rule5)) -> rule1))]
Charlie is big.
("Charlie" "is" "big" "+")
triple2
Charlie is red.
("Charlie" "is" "red" "+")
triple1
Fred is green.
("Fred" "is" "green" "+")
triple3
Gary is blue.
("Gary" "is" "blue" "+")
triple9
Gary is green.
("Gary" "is" "green" "+")
triple8
Gary is nice.
("Gary" "is" "nice" "+")
triple7
Gary is rough.
("Gary" "is" "rough" "+")
triple6
((triple9 triple4) -> (rule5 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
((triple9 ((triple9 ((triple8 triple5 triple7) -> (rule2 % int3)) triple8) -> (rule3 % int2))) -> (rule5 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
triple5
Gary is young.
("Gary" "is" "young" "+")
triple4
((triple9 ((triple8 triple5 triple7) -> (rule2 % int2)) triple8) -> (rule3 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
triple11
Harry is green.
("Harry" "is" "green" "+")
triple10
Gary is kind.
("Gary" "is" "kind" "+")
((triple8 triple5 triple7) -> (rule2 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
((((triple8 triple5 triple7) -> (rule2 % int2)) triple4 triple5) -> (rule6 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
((((triple8 triple5 triple7) -> (rule2 % int3)) ((triple9 ((triple8 triple5 triple7) -> (rule2 % int3)) triple8) -> (rule3 % int2)) triple5) -> (rule6 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
((triple5 ((((triple8 triple5 triple7) -> (rule2 % int3)) triple4 triple5) -> (rule6 % int2)) triple6) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
((triple5 ((((triple8 triple5 triple7) -> (rule2 % int4)) triple4 triple5) -> (rule6 % int3)) ((triple9 triple4) -> (rule5 % int2))) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is kind.
("Gary" "is" "kind" "+")
int4
((triple5 ((((triple8 triple5 triple7) -> (rule2 % int4)) ((triple9 ((triple8 triple5 triple7) -> (rule2 % int4)) triple8) -> (rule3 % int3)) triple5) -> (rule6 % int2)) triple6) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is kind.
("Gary" "is" "kind" "+")
int4
((triple5 ((((triple8 triple5 triple7) -> (rule2 % int5)) triple4 triple5) -> (rule6 % int4)) ((triple9 ((triple9 ((triple8 triple5 triple7) -> (rule2 % int5)) triple8) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is cold.
("Gary" "is" "cold" "+")
int4
Gary is kind.
("Gary" "is" "kind" "+")
int5
((triple5 ((((triple8 triple5 triple7) -> (rule2 % int5)) ((triple9 ((triple8 triple5 triple7) -> (rule2 % int5)) triple8) -> (rule3 % int4)) triple5) -> (rule6 % int3)) ((triple9 triple4) -> (rule5 % int2))) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
Gary is kind.
("Gary" "is" "kind" "+")
int5
((triple5 ((((triple8 triple5 triple7) -> (rule2 % int5)) ((triple9 ((triple8 triple5 triple7) -> (rule2 % int5)) triple8) -> (rule3 % int4)) triple5) -> (rule6 % int3)) ((triple9 ((triple9 ((triple8 triple5 triple7) -> (rule2 % int5)) triple8) -> (rule3 % int4))) -> (rule5 % int2))) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
Gary is kind.
("Gary" "is" "kind" "+")
int5
Charlie is big and tends to wear red shirts.
Fred ate some rotten meat and now feels green.
Gary is a round young man which makes him green and rough around the edges but he is nice though today he seems rather blue.
Harry is a person both green and big.
A cold person who is round but rough around the edges is big.
Green, nice people who have round shapes are going to be kind to you.
A green person who is kind and a bit blue is young.
A nice and blue person who's also red will be a rough person.
Young people tend to be blue all the time and rough.
Young, kind people with a round body shape can be cold to strangers.
Kind young people are also red and green.