Dave is young. Fiona is red. Rough people are not blue. All young, furry people are blue. If someone is red and rough then they are nice. All furry people are not nice. Red people are nice. If someone is red and rough then they are smart.
Dave is young.
("Dave" "is" "young" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Rough people are not blue.
((("someone" "is" "rough" "+")) -> ("someone" "is" "blue" "-"))
All young, furry people are blue.
((("someone" "is" "young" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "blue" "+"))
If someone is red and rough then they are nice.
((("someone" "is" "red" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "nice" "+"))
All furry people are not nice.
((("someone" "is" "furry" "+")) -> ("someone" "is" "nice" "-"))
Red people are nice.
((("someone" "is" "red" "+")) -> ("someone" "is" "nice" "+"))
If someone is red and rough then they are smart.
((("someone" "is" "red" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "smart" "+"))
Fiona is red.
True
1
proof
[(triple2)]
("Fiona" "is" "red" "+")
triple2
Fiona is not red.
False
1
inv-proof
[(triple2)]
("Fiona" "is" "red" "-")
triple2
Fiona is nice.
True
2
proof
[(((triple2) -> rule5))]
("Fiona" "is" "nice" "+")
((triple2) -> (rule5 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is not nice.
False
2
inv-proof
[(((triple2) -> rule5))]
("Fiona" "is" "nice" "-")
((triple2) -> (rule5 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Dave is not smart.
Unknown
inv-rconc
[@1: Dave is smart.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Dave" "is" "smart" "-")
Dave is nice.
Unknown
rconc
[@1: Dave is nice.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Dave" "is" "nice" "+")
Fiona is not young.
Unknown
inv-random
[@0: Fiona is young.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "young" "-")
Dave is red.
Unknown
random
[@0: Dave is red.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "red" "+")
@0: Dave is young.[(triple1)] Fiona is red.[(triple2)] @1: Fiona is nice.[(((triple2) -> rule5))]
Dave is young.
("Dave" "is" "young" "+")
triple1
Fiona is red.
("Fiona" "is" "red" "+")
triple2
Fiona is nice.
("Fiona" "is" "nice" "+")
((triple2) -> (rule5 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1