Charlie is green. Charlie is nice. Charlie is rough. Charlie is young. Dave is not rough. Dave is white. Fiona is not green. All young people are not white. If someone is rough and green then they are young. If someone is white and not young then they are not furry.
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Dave is not rough.
("Dave" "is" "rough" "-")
Dave is white.
("Dave" "is" "white" "+")
Fiona is not green.
("Fiona" "is" "green" "-")
All young people are not white.
((("someone" "is" "young" "+")) -> ("someone" "is" "white" "-"))
If someone is rough and green then they are young.
((("someone" "is" "rough" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "young" "+"))
If someone is white and not young then they are not furry.
((("someone" "is" "white" "+") ("someone" "is" "young" "~")) -> ("someone" "is" "furry" "-"))
Dave is white.
True
1
proof
[(triple6)]
("Dave" "is" "white" "+")
triple6
Dave is not white.
False
1
inv-proof
[(triple6)]
("Dave" "is" "white" "-")
triple6
Dave is not young.
Unknown
inv-rconc
[@1: Dave is young.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Dave" "is" "young" "-")
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 rough.[(triple3)] Charlie is young.[(triple4 OR ((triple3 triple1) -> rule2))] Dave is not rough.[(triple5)] Dave is white.[(triple6)] Fiona is not green.[(triple7)] @1: Charlie is not white.[(((triple4) -> rule1) OR ((((triple3 triple1) -> rule2)) -> rule1))]
Charlie is green.
("Charlie" "is" "green" "+")
triple1
Charlie is nice.
("Charlie" "is" "nice" "+")
triple2
Charlie is rough.
("Charlie" "is" "rough" "+")
triple3
Charlie is young.
("Charlie" "is" "young" "+")
triple4
((triple3 triple1) -> (rule2 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Dave is not rough.
("Dave" "is" "rough" "-")
triple5
Dave is white.
("Dave" "is" "white" "+")
triple6
Fiona is not green.
("Fiona" "is" "green" "-")
triple7
Charlie is not white.
("Charlie" "is" "white" "-")
((triple4) -> (rule1 % int1))
Charlie is not white.
("Charlie" "is" "white" "-")
int1
((((triple3 triple1) -> (rule2 % int2))) -> (rule1 % int1))
Charlie is not white.
("Charlie" "is" "white" "-")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2