Charlie is nice. Erin is nice. Fiona is red. Kind, white things are furry. All red things are furry. Quiet, red things are furry. If something is quiet and not round then it is not furry. All kind things are quiet. If something is nice then it is quiet. All furry things are kind. All furry things are nice.
Charlie is nice.
("Charlie" "is" "nice" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Kind, white things are furry.
((("something" "is" "kind" "+") ("something" "is" "white" "+")) -> ("something" "is" "furry" "+"))
All red things are furry.
((("something" "is" "red" "+")) -> ("something" "is" "furry" "+"))
Quiet, red things are furry.
((("something" "is" "quiet" "+") ("something" "is" "red" "+")) -> ("something" "is" "furry" "+"))
If something is quiet and not round then it is not furry.
((("something" "is" "quiet" "+") ("something" "is" "round" "~")) -> ("something" "is" "furry" "-"))
All kind things are quiet.
((("something" "is" "kind" "+")) -> ("something" "is" "quiet" "+"))
If something is nice then it is quiet.
((("something" "is" "nice" "+")) -> ("something" "is" "quiet" "+"))
All furry things are kind.
((("something" "is" "furry" "+")) -> ("something" "is" "kind" "+"))
All furry things are nice.
((("something" "is" "furry" "+")) -> ("something" "is" "nice" "+"))
Fiona is red.
True
1
proof
[(triple3)]
("Fiona" "is" "red" "+")
triple3
Fiona is not red.
False
1
inv-proof
[(triple3)]
("Fiona" "is" "red" "-")
triple3
Charlie is not kind.
Unknown
inv-rconc
[@2: Charlie is kind.[CWA. Example of deepest failure = (rule7 <- rule1 <- FAIL)]]
("Charlie" "is" "kind" "-")
Fiona is white.
Unknown
random
[@0: Fiona is white.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "white" "+")
@0: Charlie is nice.[(triple1)] Erin is nice.[(triple2)] Fiona is red.[(triple3)] @1: Charlie is quiet.[(((triple1) -> rule6))] Erin is quiet.[(((triple2) -> rule6))] Fiona is furry.[(((triple3) -> rule2))] @2: Fiona is kind.[(((((triple3) -> rule2)) -> rule7))] Fiona is nice.[(((((triple3) -> rule2)) -> rule8))] @3: Fiona is quiet.[(((((((triple3) -> rule2)) -> rule7)) -> rule5) OR ((((((triple3) -> rule2)) -> rule8)) -> rule6))]
Charlie is nice.
("Charlie" "is" "nice" "+")
triple1
Erin is nice.
("Erin" "is" "nice" "+")
triple2
Fiona is red.
("Fiona" "is" "red" "+")
triple3
Charlie is quiet.
("Charlie" "is" "quiet" "+")
((triple1) -> (rule6 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
((triple2) -> (rule6 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
((triple3) -> (rule2 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
((((triple3) -> (rule2 % int2))) -> (rule7 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
((((triple3) -> (rule2 % int2))) -> (rule8 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
((((((triple3) -> (rule2 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
((((((triple3) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3