Charlie is green. Dave is rough. Erin is not big. Fiona is not young. If Charlie is rough then Charlie is smart. If someone is green and red then they are not young. If someone is smart and not big then they are young. All green people are young. If someone is rough and not red then they are green. If Erin is big and Erin is not quiet then Erin is smart.
Charlie is green.
("Charlie" "is" "green" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Erin is not big.
("Erin" "is" "big" "-")
Fiona is not young.
("Fiona" "is" "young" "-")
If Charlie is rough then Charlie is smart.
((("Charlie" "is" "rough" "+")) -> ("Charlie" "is" "smart" "+"))
If someone is green and red then they are not young.
((("someone" "is" "green" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "young" "-"))
If someone is smart and not big then they are young.
((("someone" "is" "smart" "+") ("someone" "is" "big" "~")) -> ("someone" "is" "young" "+"))
All green people are young.
((("someone" "is" "green" "+")) -> ("someone" "is" "young" "+"))
If someone is rough and not red then they are green.
((("someone" "is" "rough" "+") ("someone" "is" "red" "~")) -> ("someone" "is" "green" "+"))
If Erin is big and Erin is not quiet then Erin is smart.
((("Erin" "is" "big" "+") ("Erin" "is" "quiet" "~")) -> ("Erin" "is" "smart" "+"))
Dave is rough.
True
1
proof
[(triple2)]
("Dave" "is" "rough" "+")
triple2
Charlie is not green.
False
1
inv-proof
[(triple1)]
("Charlie" "is" "green" "-")
triple1
Charlie is young.
True
2
proof
[(((triple1) -> rule4))]
("Charlie" "is" "young" "+")
((triple1) -> (rule4 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is not young.
False
2
inv-proof
[(((triple1) -> rule4))]
("Charlie" "is" "young" "-")
((triple1) -> (rule4 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Erin is not young.
Unknown
inv-rconc
[@2: Erin is young.[CWA. Example of deepest failure = (rule4 <- rule5 <- FAIL)]]
("Erin" "is" "young" "-")
Dave is young.
Unknown
rconc
[@2: Dave is young.[CWA. Example of deepest failure = (rule4 <- rule5 <- FAIL)]]
("Dave" "is" "young" "+")
Charlie is not red.
Unknown
inv-random
[@0: Charlie is red.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "red" "-")
Fiona is red.
Unknown
random
[@0: Fiona is red.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "red" "+")
@0: Charlie is green.[(triple1)] Dave is rough.[(triple2)] Erin is not big.[(triple3)] Fiona is not young.[(triple4)] @1: Charlie is young.[(((triple1) -> rule4))]
Charlie is green.
("Charlie" "is" "green" "+")
triple1
Dave is rough.
("Dave" "is" "rough" "+")
triple2
Erin is not big.
("Erin" "is" "big" "-")
triple3
Fiona is not young.
("Fiona" "is" "young" "-")
triple4
Charlie is young.
("Charlie" "is" "young" "+")
((triple1) -> (rule4 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1