Dave is red. Dave is young. Fiona is cold. If Dave is furry and Dave is smart then Dave is kind. Young people are red. All cold people are nice.
Dave is red.
("Dave" "is" "red" "+")
Dave is young.
("Dave" "is" "young" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
If Dave is furry and Dave is smart then Dave is kind.
((("Dave" "is" "furry" "+") ("Dave" "is" "smart" "+")) -> ("Dave" "is" "kind" "+"))
Young people are red.
((("someone" "is" "young" "+")) -> ("someone" "is" "red" "+"))
All cold people are nice.
((("someone" "is" "cold" "+")) -> ("someone" "is" "nice" "+"))
Dave is red.
True
1
proof
[(triple1 OR ((triple2) -> rule2))]
("Dave" "is" "red" "+")
triple1
((triple2) -> (rule2 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is not red.
False
1
inv-proof
[(triple1 OR ((triple2) -> rule2))]
("Dave" "is" "red" "-")
triple1
((triple2) -> (rule2 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Fiona is nice.
True
2
proof
[(((triple3) -> rule3))]
("Fiona" "is" "nice" "+")
((triple3) -> (rule3 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is not nice.
False
2
inv-proof
[(((triple3) -> rule3))]
("Fiona" "is" "nice" "-")
((triple3) -> (rule3 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Dave is not nice.
Unknown
inv-rconc
[@1: Dave is nice.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Dave" "is" "nice" "-")
Dave is kind.
Unknown
rconc
[@1: Dave is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "kind" "+")
Dave is not smart.
Unknown
inv-random
[@0: Dave is smart.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "smart" "-")
Fiona is smart.
Unknown
random
[@0: Fiona is smart.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "smart" "+")
@0: Dave is red.[(triple1 OR ((triple2) -> rule2))] Dave is young.[(triple2)] Fiona is cold.[(triple3)] @1: Fiona is nice.[(((triple3) -> rule3))]
Dave is red.
("Dave" "is" "red" "+")
triple1
((triple2) -> (rule2 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
triple2
Fiona is cold.
("Fiona" "is" "cold" "+")
triple3
Fiona is nice.
("Fiona" "is" "nice" "+")
((triple3) -> (rule3 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1