Blue and green Bob is so kind he snowplows the neighbors driveways and everyone thanks him with beer. Charlie is too round for someone so young. Also, he is sometimes red and sometimes green. Upon meeting Eric, you'll notice he's green and kind. Fred is very young to be a nurse but he loves helping others because he is so nice and kind. Red and green people that are nice are cold to strangers. Round people who feel rough also always feel cold,. A round shaped and red person is definitely nice. Someone with the traits of being cold and red is also going to be someone who is big. Kind and nice people who feel blue usually look green. Anyone will tell you the kind and the big are also rough.
Bob is kind.
("Bob" "is" "kind" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Eric is kind.
("Eric" "is" "kind" "+")
Eric is green.
("Eric" "is" "green" "+")
Fred is young.
("Fred" "is" "young" "+")
Fred is nice.
("Fred" "is" "nice" "+")
Fred is kind.
("Fred" "is" "kind" "+")
If someone is red and nice and green then they are cold.
((("someone" "is" "red" "+") ("someone" "is" "nice" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "cold" "+"))
If someone is round and rough then they are cold.
((("someone" "is" "round" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "cold" "+"))
If someone is round and red then they are nice.
((("someone" "is" "round" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "nice" "+"))
If someone is cold and red then they are big.
((("someone" "is" "cold" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "big" "+"))
If someone is kind and blue and nice then they are green.
((("someone" "is" "kind" "+") ("someone" "is" "blue" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "green" "+"))
If someone is big and kind then they are rough.
((("someone" "is" "big" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "rough" "+"))
Fred is kind.
True
1
proof
[(triple12)]
("Fred" "is" "kind" "+")
triple12
Bob is not kind.
False
1
inv-proof
[(triple1)]
("Bob" "is" "kind" "-")
triple1
Charlie is nice.
True
3
proof
[(((triple5 triple6) -> rule3))]
("Charlie" "is" "nice" "+")
((triple5 triple6) -> (rule3 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is not nice.
False
3
inv-proof
[(((triple5 triple6) -> rule3))]
("Charlie" "is" "nice" "-")
((triple5 triple6) -> (rule3 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is cold.
True
6
proof
[(((triple6 ((triple5 triple6) -> rule3) triple7) -> rule1))]
("Charlie" "is" "cold" "+")
((triple6 ((triple5 triple6) -> (rule3 % int2)) triple7) -> (rule1 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is not cold.
False
6
inv-proof
[(((triple6 ((triple5 triple6) -> rule3) triple7) -> rule1))]
("Charlie" "is" "cold" "-")
((triple6 ((triple5 triple6) -> (rule3 % int2)) triple7) -> (rule1 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is big.
True
8
proof
[(((((triple6 ((triple5 triple6) -> rule3) triple7) -> rule1) triple6) -> rule4))]
("Charlie" "is" "big" "+")
((((triple6 ((triple5 triple6) -> (rule3 % int3)) triple7) -> (rule1 % int2)) triple6) -> (rule4 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is not big.
False
8
inv-proof
[(((((triple6 ((triple5 triple6) -> rule3) triple7) -> rule1) triple6) -> rule4))]
("Charlie" "is" "big" "-")
((((triple6 ((triple5 triple6) -> (rule3 % int3)) triple7) -> (rule1 % int2)) triple6) -> (rule4 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Fred is not rough.
Unknown
inv-rconc
[@2: Fred is rough.[CWA. Example of deepest failure = (rule6 <- rule4 <- FAIL)]]
("Fred" "is" "rough" "-")
Charlie is rough.
Unknown
rconc
[@1: Charlie is rough.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Charlie" "is" "rough" "+")
Fred is not cold.
Unknown
inv-rconc
[@1: Fred is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fred" "is" "cold" "-")
Eric is nice.
Unknown
rconc
[@1: Eric is nice.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Eric" "is" "nice" "+")
Fred is not round.
Unknown
inv-random
[@0: Fred is round.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "round" "-")
Bob is round.
Unknown
random
[@0: Bob is round.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "round" "+")
Eric is not red.
Unknown
inv-random
[@0: Eric is red.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "red" "-")
Charlie is kind.
Unknown
random
[@0: Charlie is kind.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "kind" "+")
@0: Bob is blue.[(triple3)] Bob is green.[(triple2)] Bob is kind.[(triple1)] Charlie is green.[(triple7)] Charlie is red.[(triple6)] Charlie is round.[(triple5)] Charlie is young.[(triple4)] Eric is green.[(triple9)] Eric is kind.[(triple8)] Fred is kind.[(triple12)] Fred is nice.[(triple11)] Fred is young.[(triple10)] @1: Charlie is nice.[(((triple5 triple6) -> rule3))] @2: Charlie is cold.[(((triple6 ((triple5 triple6) -> rule3) triple7) -> rule1))] @3: Charlie is big.[(((((triple6 ((triple5 triple6) -> rule3) triple7) -> rule1) triple6) -> rule4))]
Bob is blue.
("Bob" "is" "blue" "+")
triple3
Bob is green.
("Bob" "is" "green" "+")
triple2
Bob is kind.
("Bob" "is" "kind" "+")
triple1
Charlie is green.
("Charlie" "is" "green" "+")
triple7
Charlie is red.
("Charlie" "is" "red" "+")
triple6
Charlie is round.
("Charlie" "is" "round" "+")
triple5
Charlie is young.
("Charlie" "is" "young" "+")
triple4
Eric is green.
("Eric" "is" "green" "+")
triple9
Eric is kind.
("Eric" "is" "kind" "+")
triple8
Fred is kind.
("Fred" "is" "kind" "+")
triple12
Fred is nice.
("Fred" "is" "nice" "+")
triple11
Fred is young.
("Fred" "is" "young" "+")
triple10
Charlie is nice.
("Charlie" "is" "nice" "+")
((triple5 triple6) -> (rule3 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
((triple6 ((triple5 triple6) -> (rule3 % int2)) triple7) -> (rule1 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
((((triple6 ((triple5 triple6) -> (rule3 % int3)) triple7) -> (rule1 % int2)) triple6) -> (rule4 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Blue and green Bob is so kind he snowplows the neighbors driveways and everyone thanks him with beer.
Charlie is too round for someone so young; Also, he is sometimes red and sometimes green.
Upon meeting Eric, you'll notice he's green and kind.
Fred is very young to be a nurse but he loves helping others because he is so nice and kind.
Red and green people that are nice are cold to strangers.
Round people who feel rough also always feel cold,.
A round shaped and red person is definitely nice.
Someone with the traits of being cold and red is also going to be someone who is big.
Kind and nice people who feel blue usually look green.
Anyone will tell you the kind and the big are also rough.