Dave is not furry. Fiona is furry. Fiona is kind. If Dave is furry then Dave is young. If someone is cold and furry then they are not young. Rough people are not smart. All kind, furry people are not smart. If someone is furry then they are cold. If someone is nice and not furry then they are not cold. All cold, rough people are nice. If Fiona is kind then Fiona is not nice.
Dave is not furry.
("Dave" "is" "furry" "-")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
If Dave is furry then Dave is young.
((("Dave" "is" "furry" "+")) -> ("Dave" "is" "young" "+"))
If someone is cold and furry then they are not young.
((("someone" "is" "cold" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "young" "-"))
Rough people are not smart.
((("someone" "is" "rough" "+")) -> ("someone" "is" "smart" "-"))
All kind, furry people are not smart.
((("someone" "is" "kind" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "smart" "-"))
If someone is furry then they are cold.
((("someone" "is" "furry" "+")) -> ("someone" "is" "cold" "+"))
If someone is nice and not furry then they are not cold.
((("someone" "is" "nice" "+") ("someone" "is" "furry" "~")) -> ("someone" "is" "cold" "-"))
All cold, rough people are nice.
((("someone" "is" "cold" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "nice" "+"))
If Fiona is kind then Fiona is not nice.
((("Fiona" "is" "kind" "+")) -> ("Fiona" "is" "nice" "-"))
Fiona is kind.
True
1
proof
[(triple3)]
("Fiona" "is" "kind" "+")
triple3
Fiona is not furry.
False
1
inv-proof
[(triple2)]
("Fiona" "is" "furry" "-")
triple2
Fiona is not smart.
True
3
proof
[(((triple3 triple2) -> rule4))]
("Fiona" "is" "smart" "-")
((triple3 triple2) -> (rule4 % int1))
Fiona is not smart.
("Fiona" "is" "smart" "-")
int1
Fiona is nice.
False
2
inv-proof
[(((triple3) -> rule8))]
("Fiona" "is" "nice" "+")
((triple3) -> (rule8 % int1))
Fiona is not nice.
("Fiona" "is" "nice" "-")
int1
Fiona is not young.
True
4
proof
[(((((triple2) -> rule5) triple2) -> rule2))]
("Fiona" "is" "young" "-")
((((triple2) -> (rule5 % int2)) triple2) -> (rule2 % int1))
Fiona is not young.
("Fiona" "is" "young" "-")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is young.
False
4
inv-proof
[(((((triple2) -> rule5) triple2) -> rule2))]
("Fiona" "is" "young" "+")
((((triple2) -> (rule5 % int2)) triple2) -> (rule2 % int1))
Fiona is not young.
("Fiona" "is" "young" "-")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Dave is not cold.
Unknown
inv-rconc
[@1: Dave is cold.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Dave" "is" "cold" "-")
Dave is nice.
Unknown
rconc
[@1: Dave is nice.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Dave" "is" "nice" "+")
Dave is not young.
Unknown
inv-rconc
[@1: Dave is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "young" "-")
Dave is smart.
Unknown
random
[@0: Dave is smart.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "smart" "+")
Fiona is not rough.
Unknown
inv-random
[@0: Fiona is rough.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "rough" "-")
Dave is kind.
Unknown
random
[@0: Dave is kind.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "kind" "+")
@0: Dave is not furry.[(triple1)] Fiona is furry.[(triple2)] Fiona is kind.[(triple3)] @1: Fiona is cold.[(((triple2) -> rule5))] Fiona is not nice.[(((triple3) -> rule8))] Fiona is not smart.[(((triple3 triple2) -> rule4))] @2: Fiona is not young.[(((((triple2) -> rule5) triple2) -> rule2))]
Dave is not furry.
("Dave" "is" "furry" "-")
triple1
Fiona is furry.
("Fiona" "is" "furry" "+")
triple2
Fiona is kind.
("Fiona" "is" "kind" "+")
triple3
Fiona is cold.
("Fiona" "is" "cold" "+")
((triple2) -> (rule5 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is not nice.
("Fiona" "is" "nice" "-")
((triple3) -> (rule8 % int1))
Fiona is not nice.
("Fiona" "is" "nice" "-")
int1
Fiona is not smart.
("Fiona" "is" "smart" "-")
((triple3 triple2) -> (rule4 % int1))
Fiona is not smart.
("Fiona" "is" "smart" "-")
int1
Fiona is not young.
("Fiona" "is" "young" "-")
((((triple2) -> (rule5 % int2)) triple2) -> (rule2 % int1))
Fiona is not young.
("Fiona" "is" "young" "-")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2