Bob is blue. Erin is blue. Gary is not rough. If someone is round and not blue then they are not rough. If someone is blue then they are rough. Blue, rough people are round. Young people are not smart. Nice, furry people are smart. Young people are furry. If Erin is round and Erin is smart then Erin is not young. If Gary is not rough then Gary is young.
Bob is blue.
("Bob" "is" "blue" "+")
Erin is blue.
("Erin" "is" "blue" "+")
Gary is not rough.
("Gary" "is" "rough" "-")
If someone is round and not blue then they are not rough.
((("someone" "is" "round" "+") ("someone" "is" "blue" "~")) -> ("someone" "is" "rough" "-"))
If someone is blue then they are rough.
((("someone" "is" "blue" "+")) -> ("someone" "is" "rough" "+"))
Blue, rough people are round.
((("someone" "is" "blue" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "round" "+"))
Young people are not smart.
((("someone" "is" "young" "+")) -> ("someone" "is" "smart" "-"))
Nice, furry people are smart.
((("someone" "is" "nice" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "smart" "+"))
Young people are furry.
((("someone" "is" "young" "+")) -> ("someone" "is" "furry" "+"))
If Erin is round and Erin is smart then Erin is not young.
((("Erin" "is" "round" "+") ("Erin" "is" "smart" "+")) -> ("Erin" "is" "young" "-"))
If Gary is not rough then Gary is young.
((("Gary" "is" "rough" "~")) -> ("Gary" "is" "young" "+"))
Erin is blue.
True
1
proof
[(triple2)]
("Erin" "is" "blue" "+")
triple2
Erin is not blue.
False
1
inv-proof
[(triple2)]
("Erin" "is" "blue" "-")
triple2
Bob is rough.
True
2
proof
[(((triple1) -> rule2))]
("Bob" "is" "rough" "+")
((triple1) -> (rule2 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is not rough.
False
2
inv-proof
[(((triple1) -> rule2))]
("Bob" "is" "rough" "-")
((triple1) -> (rule2 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Erin is round.
True
4
proof
[(((triple2 ((triple2) -> rule2)) -> rule3))]
("Erin" "is" "round" "+")
((triple2 ((triple2) -> (rule2 % int2))) -> (rule3 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Gary is smart.
False
3
inv-proof
[(((((triple3) -> rule8)) -> rule4))]
("Gary" "is" "smart" "+")
((((triple3) -> (rule8 % int2))) -> (rule4 % int1))
Gary is not smart.
("Gary" "is" "smart" "-")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Erin is not furry.
Unknown
inv-rconc
[@1: Erin is furry.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Erin" "is" "furry" "-")
Erin is smart.
Unknown
rconc
[@1: Erin is smart.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Erin" "is" "smart" "+")
Bob is not furry.
Unknown
inv-rconc
[@1: Bob is furry.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Bob" "is" "furry" "-")
Gary is nice.
Unknown
random
[@0: Gary is nice.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "nice" "+")
Erin is not nice.
Unknown
inv-random
[@0: Erin is nice.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "nice" "-")
Bob is nice.
Unknown
random
[@0: Bob is nice.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "nice" "+")
@0: Bob is blue.[(triple1)] Erin is blue.[(triple2)] Gary is not rough.[(triple3)] @1: Bob is rough.[(((triple1) -> rule2))] Erin is rough.[(((triple2) -> rule2))] Gary is young.[(((triple3) -> rule8))] @2: Bob is round.[(((triple1 ((triple1) -> rule2)) -> rule3))] Erin is round.[(((triple2 ((triple2) -> rule2)) -> rule3))] Gary is furry.[(((((triple3) -> rule8)) -> rule6))] Gary is not smart.[(((((triple3) -> rule8)) -> rule4))]
Bob is blue.
("Bob" "is" "blue" "+")
triple1
Erin is blue.
("Erin" "is" "blue" "+")
triple2
Gary is not rough.
("Gary" "is" "rough" "-")
triple3
Bob is rough.
("Bob" "is" "rough" "+")
((triple1) -> (rule2 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
((triple2) -> (rule2 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
((triple3) -> (rule8 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
((triple1 ((triple1) -> (rule2 % int2))) -> (rule3 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
((triple2 ((triple2) -> (rule2 % int2))) -> (rule3 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
((((triple3) -> (rule8 % int2))) -> (rule6 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is not smart.
("Gary" "is" "smart" "-")
((((triple3) -> (rule8 % int2))) -> (rule4 % int1))
Gary is not smart.
("Gary" "is" "smart" "-")
int1
Gary is young.
("Gary" "is" "young" "+")
int2