Bob is not nice. Bob is round. Bob is smart. Erin is not blue. Erin is quiet. Erin is red. Erin is not round. If someone is red and not blue then they are young. Nice people are round. If Bob is smart then Bob is not quiet. If someone is quiet and nice then they are not smart. If someone is blue and round then they are not quiet. If someone is blue and not red then they are quiet. If someone is smart and red then they are quiet. If Erin is not red and Erin is not round then Erin is smart.
Bob is not nice.
("Bob" "is" "nice" "-")
Bob is round.
("Bob" "is" "round" "+")
Bob is smart.
("Bob" "is" "smart" "+")
Erin is not blue.
("Erin" "is" "blue" "-")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is red.
("Erin" "is" "red" "+")
Erin is not round.
("Erin" "is" "round" "-")
If someone is red and not blue then they are young.
((("someone" "is" "red" "+") ("someone" "is" "blue" "~")) -> ("someone" "is" "young" "+"))
Nice people are round.
((("someone" "is" "nice" "+")) -> ("someone" "is" "round" "+"))
If Bob is smart then Bob is not quiet.
((("Bob" "is" "smart" "+")) -> ("Bob" "is" "quiet" "-"))
If someone is quiet and nice then they are not smart.
((("someone" "is" "quiet" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "smart" "-"))
If someone is blue and round then they are not quiet.
((("someone" "is" "blue" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "quiet" "-"))
If someone is blue and not red then they are quiet.
((("someone" "is" "blue" "+") ("someone" "is" "red" "~")) -> ("someone" "is" "quiet" "+"))
If someone is smart and red then they are quiet.
((("someone" "is" "smart" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "quiet" "+"))
If Erin is not red and Erin is not round then Erin is smart.
((("Erin" "is" "red" "~") ("Erin" "is" "round" "~")) -> ("Erin" "is" "smart" "+"))
Erin is not blue.
True
1
proof
[(triple4)]
("Erin" "is" "blue" "-")
triple4
Erin is not quiet.
False
1
inv-proof
[(triple5)]
("Erin" "is" "quiet" "-")
triple5
Erin is young.
True
3
proof
[(((triple6 triple4) -> rule1))]
("Erin" "is" "young" "+")
((triple6 triple4) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is not young.
False
3
inv-proof
[(((triple6 triple4) -> rule1))]
("Erin" "is" "young" "-")
((triple6 triple4) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Bob is not young.
Unknown
inv-rconc
[@1: Bob is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "young" "-")
Erin is smart.
Unknown
rconc
[@1: Erin is smart.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("Erin" "is" "smart" "+")
Bob is not red.
Unknown
inv-random
[@0: Bob is red.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "red" "-")
Erin is nice.
Unknown
random
[@0: Erin is nice.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "nice" "+")
@0: Bob is not nice.[(triple1)] Bob is round.[(triple2)] Bob is smart.[(triple3)] Erin is not blue.[(triple4)] Erin is not round.[(triple7)] Erin is quiet.[(triple5)] Erin is red.[(triple6)] @1: Bob is not quiet.[(((triple3) -> rule3))] Erin is young.[(((triple6 triple4) -> rule1))]
Bob is not nice.
("Bob" "is" "nice" "-")
triple1
Bob is round.
("Bob" "is" "round" "+")
triple2
Bob is smart.
("Bob" "is" "smart" "+")
triple3
Erin is not blue.
("Erin" "is" "blue" "-")
triple4
Erin is not round.
("Erin" "is" "round" "-")
triple7
Erin is quiet.
("Erin" "is" "quiet" "+")
triple5
Erin is red.
("Erin" "is" "red" "+")
triple6
Bob is not quiet.
("Bob" "is" "quiet" "-")
((triple3) -> (rule3 % int1))
Bob is not quiet.
("Bob" "is" "quiet" "-")
int1
Erin is young.
("Erin" "is" "young" "+")
((triple6 triple4) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1