Charlie is green. Dave is blue. Erin is round. Fiona is round. All blue people are green. Kind, white people are nice. All round people are green.
Charlie is green.
("Charlie" "is" "green" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Erin is round.
("Erin" "is" "round" "+")
Fiona is round.
("Fiona" "is" "round" "+")
All blue people are green.
((("someone" "is" "blue" "+")) -> ("someone" "is" "green" "+"))
Kind, white people are nice.
((("someone" "is" "kind" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "nice" "+"))
All round people are green.
((("someone" "is" "round" "+")) -> ("someone" "is" "green" "+"))
Fiona is round.
True
1
proof
[(triple4)]
("Fiona" "is" "round" "+")
triple4
Erin is not round.
False
1
inv-proof
[(triple3)]
("Erin" "is" "round" "-")
triple3
Erin is green.
True
2
proof
[(((triple3) -> rule3))]
("Erin" "is" "green" "+")
((triple3) -> (rule3 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Fiona is not green.
False
2
inv-proof
[(((triple4) -> rule3))]
("Fiona" "is" "green" "-")
((triple4) -> (rule3 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Dave is not nice.
Unknown
inv-rconc
[@1: Dave is nice.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Dave" "is" "nice" "-")
Erin is nice.
Unknown
rconc
[@1: Erin is nice.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Erin" "is" "nice" "+")
Erin is not kind.
Unknown
inv-random
[@0: Erin is kind.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "kind" "-")
Fiona is kind.
Unknown
random
[@0: Fiona is kind.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "kind" "+")
@0: Charlie is green.[(triple1)] Dave is blue.[(triple2)] Erin is round.[(triple3)] Fiona is round.[(triple4)] @1: Dave is green.[(((triple2) -> rule1))] Erin is green.[(((triple3) -> rule3))] Fiona is green.[(((triple4) -> rule3))]
Charlie is green.
("Charlie" "is" "green" "+")
triple1
Dave is blue.
("Dave" "is" "blue" "+")
triple2
Erin is round.
("Erin" "is" "round" "+")
triple3
Fiona is round.
("Fiona" "is" "round" "+")
triple4
Dave is green.
("Dave" "is" "green" "+")
((triple2) -> (rule1 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
((triple3) -> (rule3 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
((triple4) -> (rule3 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1