From a certain angle Bob is blue but he is young so maybe that will go away. Dave is round, dresses in red, but is blue with cold. Fred is round shaped and green colored. Gary is a big gentleman who is very nice. He is secretly green with envy. Young people who wear red lipstick are certainly kind. Blue Christmas ornaments are also red. You'll always find a young, kind and red person to be a cold person, too. Cold people who are young and green are actually nice. Young, kind people have the trait of being cold and are also very nice to interact with. A big person that is tattooed blue will be very nice. Nice people who are big in stature often look rough.
Bob is young.
("Bob" "is" "young" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Dave is round.
("Dave" "is" "round" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Fred is round.
("Fred" "is" "round" "+")
Fred is green.
("Fred" "is" "green" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is big.
("Gary" "is" "big" "+")
If someone is red and young then they are kind.
((("someone" "is" "red" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "kind" "+"))
If someone is blue then they are red.
((("someone" "is" "blue" "+")) -> ("someone" "is" "red" "+"))
If someone is kind and young and red then they are cold.
((("someone" "is" "kind" "+") ("someone" "is" "young" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "cold" "+"))
If someone is cold and green and young then they are nice.
((("someone" "is" "cold" "+") ("someone" "is" "green" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "nice" "+"))
If someone is cold and young and kind then they are nice.
((("someone" "is" "cold" "+") ("someone" "is" "young" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "nice" "+"))
If someone is big and blue then they are nice.
((("someone" "is" "big" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "nice" "+"))
If someone is nice and big then they are rough.
((("someone" "is" "nice" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "rough" "+"))
Gary is big.
True
1
proof
[(triple11)]
("Gary" "is" "big" "+")
triple11
Dave is not round.
False
1
inv-proof
[(triple3)]
("Dave" "is" "round" "-")
triple3
Gary is rough.
True
3
proof
[(((triple9 triple11) -> rule7))]
("Gary" "is" "rough" "+")
((triple9 triple11) -> (rule7 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Bob is not red.
False
2
inv-proof
[(((triple2) -> rule2))]
("Bob" "is" "red" "-")
((triple2) -> (rule2 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is kind.
True
4
proof
[(((((triple2) -> rule2) triple1) -> rule1))]
("Bob" "is" "kind" "+")
((((triple2) -> (rule2 % int2)) triple1) -> (rule1 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is not kind.
False
4
inv-proof
[(((((triple2) -> rule2) triple1) -> rule1))]
("Bob" "is" "kind" "-")
((((triple2) -> (rule2 % int2)) triple1) -> (rule1 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is cold.
True
8
proof
[(((((((triple2) -> rule2) triple1) -> rule1) triple1 ((triple2) -> rule2)) -> rule3))]
("Bob" "is" "cold" "+")
((((((triple2) -> (rule2 % int3)) triple1) -> (rule1 % int2)) triple1 ((triple2) -> (rule2 % int3))) -> (rule3 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is not cold.
False
8
inv-proof
[(((((((triple2) -> rule2) triple1) -> rule1) triple1 ((triple2) -> rule2)) -> rule3))]
("Bob" "is" "cold" "-")
((((((triple2) -> (rule2 % int3)) triple1) -> (rule1 % int2)) triple1 ((triple2) -> (rule2 % int3))) -> (rule3 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is nice.
True
14
proof
[(((((((((triple2) -> rule2) triple1) -> rule1) triple1 ((triple2) -> rule2)) -> rule3) triple1 ((((triple2) -> rule2) triple1) -> rule1)) -> rule5))]
("Bob" "is" "nice" "+")
((((((((triple2) -> (rule2 % int4)) triple1) -> (rule1 % int3)) triple1 ((triple2) -> (rule2 % int4))) -> (rule3 % int2)) triple1 ((((triple2) -> (rule2 % int4)) triple1) -> (rule1 % int3))) -> (rule5 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
Bob is not nice.
False
14
inv-proof
[(((((((((triple2) -> rule2) triple1) -> rule1) triple1 ((triple2) -> rule2)) -> rule3) triple1 ((((triple2) -> rule2) triple1) -> rule1)) -> rule5))]
("Bob" "is" "nice" "-")
((((((((triple2) -> (rule2 % int4)) triple1) -> (rule1 % int3)) triple1 ((triple2) -> (rule2 % int4))) -> (rule3 % int2)) triple1 ((((triple2) -> (rule2 % int4)) triple1) -> (rule1 % int3))) -> (rule5 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
Dave is not nice.
Unknown
inv-rconc
[@1: Dave is nice.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Dave" "is" "nice" "-")
Dave is rough.
Unknown
rconc
[@1: Dave is rough.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Dave" "is" "rough" "+")
Fred is not red.
Unknown
inv-rconc
[@1: Fred is red.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fred" "is" "red" "-")
Fred is cold.
Unknown
rconc
[@1: Fred is cold.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Fred" "is" "cold" "+")
Fred is not nice.
Unknown
inv-rconc
[@1: Fred is nice.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Fred" "is" "nice" "-")
Dave is big.
Unknown
random
[@0: Dave is big.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "big" "+")
Fred is not big.
Unknown
inv-random
[@0: Fred is big.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "big" "-")
Fred is blue.
Unknown
random
[@0: Fred is blue.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "blue" "+")
Gary is not blue.
Unknown
inv-random
[@0: Gary is blue.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "blue" "-")
Dave is green.
Unknown
random
[@0: Dave is green.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "green" "+")
@0: Bob is blue.[(triple2)] Bob is young.[(triple1)] Dave is blue.[(triple6)] Dave is cold.[(triple5)] Dave is red.[(triple4 OR ((triple6) -> rule2))] Dave is round.[(triple3)] Fred is green.[(triple8)] Fred is round.[(triple7)] Gary is big.[(triple11)] Gary is green.[(triple10)] Gary is nice.[(triple9)] @1: Bob is red.[(((triple2) -> rule2))] Gary is rough.[(((triple9 triple11) -> rule7))] @2: Bob is kind.[(((((triple2) -> rule2) triple1) -> rule1))] @3: Bob is cold.[(((((((triple2) -> rule2) triple1) -> rule1) triple1 ((triple2) -> rule2)) -> rule3))] @4: Bob is nice.[(((((((((triple2) -> rule2) triple1) -> rule1) triple1 ((triple2) -> rule2)) -> rule3) triple1 ((((triple2) -> rule2) triple1) -> rule1)) -> rule5))]
Bob is blue.
("Bob" "is" "blue" "+")
triple2
Bob is young.
("Bob" "is" "young" "+")
triple1
Dave is blue.
("Dave" "is" "blue" "+")
triple6
Dave is cold.
("Dave" "is" "cold" "+")
triple5
Dave is red.
("Dave" "is" "red" "+")
triple4
((triple6) -> (rule2 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
triple3
Fred is green.
("Fred" "is" "green" "+")
triple8
Fred is round.
("Fred" "is" "round" "+")
triple7
Gary is big.
("Gary" "is" "big" "+")
triple11
Gary is green.
("Gary" "is" "green" "+")
triple10
Gary is nice.
("Gary" "is" "nice" "+")
triple9
Bob is red.
("Bob" "is" "red" "+")
((triple2) -> (rule2 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
((triple9 triple11) -> (rule7 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
((((triple2) -> (rule2 % int2)) triple1) -> (rule1 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
((((((triple2) -> (rule2 % int3)) triple1) -> (rule1 % int2)) triple1 ((triple2) -> (rule2 % int3))) -> (rule3 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
((((((((triple2) -> (rule2 % int4)) triple1) -> (rule1 % int3)) triple1 ((triple2) -> (rule2 % int4))) -> (rule3 % int2)) triple1 ((((triple2) -> (rule2 % int4)) triple1) -> (rule1 % int3))) -> (rule5 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
From a certain angle Bob is blue but he is young so maybe that will go away.
Dave is round, dresses in red, but is blue with cold.
Fred is round shaped and green colored.
Gary is a big gentleman who is very nice; He is secretly green with envy.
Young people who wear red lipstick are certainly kind.
Blue Christmas ornaments are also red.
You'll always find a young, kind and red person to be a cold person, too.
Cold people who are young and green are actually nice.
Young, kind people have the trait of being cold and are also very nice to interact with.
A big person that is tattooed blue will be very nice.
Nice people who are big in stature often look rough.