Charlie is green. Charlie is nice. Charlie is red. Charlie is round. Dave is green. Fiona is not furry. Fiona is kind. If someone is round then they are not furry. If Fiona is nice then Fiona is furry. All smart, round people are nice.
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Dave is green.
("Dave" "is" "green" "+")
Fiona is not furry.
("Fiona" "is" "furry" "-")
Fiona is kind.
("Fiona" "is" "kind" "+")
If someone is round then they are not furry.
((("someone" "is" "round" "+")) -> ("someone" "is" "furry" "-"))
If Fiona is nice then Fiona is furry.
((("Fiona" "is" "nice" "+")) -> ("Fiona" "is" "furry" "+"))
All smart, round people are nice.
((("someone" "is" "smart" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "nice" "+"))
Dave is green.
True
1
proof
[(triple5)]
("Dave" "is" "green" "+")
triple5
Fiona is furry.
False
1
inv-proof
[(triple6)]
("Fiona" "is" "furry" "+")
triple6
Charlie is not furry.
True
2
proof
[(((triple4) -> rule1))]
("Charlie" "is" "furry" "-")
((triple4) -> (rule1 % int1))
Charlie is not furry.
("Charlie" "is" "furry" "-")
int1
Charlie is furry.
False
2
inv-proof
[(((triple4) -> rule1))]
("Charlie" "is" "furry" "+")
((triple4) -> (rule1 % int1))
Charlie is not furry.
("Charlie" "is" "furry" "-")
int1
Fiona is not nice.
Unknown
inv-rconc
[@1: Fiona is nice.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Fiona" "is" "nice" "-")
Dave is nice.
Unknown
rconc
[@1: Dave is nice.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Dave" "is" "nice" "+")
Fiona is not green.
Unknown
inv-random
[@0: Fiona is green.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "green" "-")
Charlie is smart.
Unknown
random
[@0: Charlie is smart.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "smart" "+")
@0: Charlie is green.[(triple1)] Charlie is nice.[(triple2)] Charlie is red.[(triple3)] Charlie is round.[(triple4)] Dave is green.[(triple5)] Fiona is kind.[(triple7)] Fiona is not furry.[(triple6)] @1: Charlie is not furry.[(((triple4) -> rule1))]
Charlie is green.
("Charlie" "is" "green" "+")
triple1
Charlie is nice.
("Charlie" "is" "nice" "+")
triple2
Charlie is red.
("Charlie" "is" "red" "+")
triple3
Charlie is round.
("Charlie" "is" "round" "+")
triple4
Dave is green.
("Dave" "is" "green" "+")
triple5
Fiona is kind.
("Fiona" "is" "kind" "+")
triple7
Fiona is not furry.
("Fiona" "is" "furry" "-")
triple6
Charlie is not furry.
("Charlie" "is" "furry" "-")
((triple4) -> (rule1 % int1))
Charlie is not furry.
("Charlie" "is" "furry" "-")
int1