Anne is not furry. Charlie is smart. Erin is young. All quiet people are red. If someone is young then they are furry. If someone is smart then they are young. If someone is quiet then they are blue. All smart people are blue. If Erin is round and Erin is not smart then Erin is young. If someone is young then they are round. If someone is young and not quiet then they are round.
Anne is not furry.
("Anne" "is" "furry" "-")
Charlie is smart.
("Charlie" "is" "smart" "+")
Erin is young.
("Erin" "is" "young" "+")
All quiet people are red.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "red" "+"))
If someone is young then they are furry.
((("someone" "is" "young" "+")) -> ("someone" "is" "furry" "+"))
If someone is smart then they are young.
((("someone" "is" "smart" "+")) -> ("someone" "is" "young" "+"))
If someone is quiet then they are blue.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "blue" "+"))
All smart people are blue.
((("someone" "is" "smart" "+")) -> ("someone" "is" "blue" "+"))
If Erin is round and Erin is not smart then Erin is young.
((("Erin" "is" "round" "+") ("Erin" "is" "smart" "~")) -> ("Erin" "is" "young" "+"))
If someone is young then they are round.
((("someone" "is" "young" "+")) -> ("someone" "is" "round" "+"))
If someone is young and not quiet then they are round.
((("someone" "is" "young" "+") ("someone" "is" "quiet" "~")) -> ("someone" "is" "round" "+"))
Charlie is smart.
True
1
proof
[(triple2)]
("Charlie" "is" "smart" "+")
triple2
Erin is not young.
False
1
inv-proof
[(triple3)]
("Erin" "is" "young" "-")
triple3
Erin is furry.
True
2
proof
[(((triple3) -> rule2))]
("Erin" "is" "furry" "+")
((triple3) -> (rule2 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is not furry.
False
2
inv-proof
[(((triple3) -> rule2))]
("Erin" "is" "furry" "-")
((triple3) -> (rule2 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Charlie is furry.
True
3
proof
[(((((triple2) -> rule3)) -> rule2))]
("Charlie" "is" "furry" "+")
((((triple2) -> (rule3 % int2))) -> (rule2 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is not furry.
False
3
inv-proof
[(((((triple2) -> rule3)) -> rule2))]
("Charlie" "is" "furry" "-")
((((triple2) -> (rule3 % int2))) -> (rule2 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is not red.
Unknown
inv-rconc
[@1: Charlie is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "red" "-")
Erin is red.
Unknown
rconc
[@1: Erin is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Erin" "is" "red" "+")
Erin is not blue.
Unknown
inv-rconc
[@1: Erin is blue.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Erin" "is" "blue" "-")
Erin is quiet.
Unknown
random
[@0: Erin is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "quiet" "+")
Charlie is not quiet.
Unknown
inv-random
[@0: Charlie is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "quiet" "-")
Anne is smart.
Unknown
random
[@0: Anne is smart.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "smart" "+")
@0: Anne is not furry.[(triple1)] Charlie is smart.[(triple2)] Erin is young.[(triple3)] @1: Charlie is blue.[(((triple2) -> rule5))] Charlie is young.[(((triple2) -> rule3))] Erin is furry.[(((triple3) -> rule2))] Erin is round.[(((triple3) -> rule7))] @2: Charlie is furry.[(((((triple2) -> rule3)) -> rule2))] Charlie is round.[(((((triple2) -> rule3)) -> rule7))]
Anne is not furry.
("Anne" "is" "furry" "-")
triple1
Charlie is smart.
("Charlie" "is" "smart" "+")
triple2
Erin is young.
("Erin" "is" "young" "+")
triple3
Charlie is blue.
("Charlie" "is" "blue" "+")
((triple2) -> (rule5 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
((triple2) -> (rule3 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
((triple3) -> (rule2 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
((triple3) -> (rule7 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
((((triple2) -> (rule3 % int2))) -> (rule2 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
((((triple2) -> (rule3 % int2))) -> (rule7 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2