Charlie is green. Erin is smart. Harry is rough. If someone is green then they are young. If someone is nice and green then they are young.
Charlie is green.
("Charlie" "is" "green" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Harry is rough.
("Harry" "is" "rough" "+")
If someone is green then they are young.
((("someone" "is" "green" "+")) -> ("someone" "is" "young" "+"))
If someone is nice and green then they are young.
((("someone" "is" "nice" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "young" "+"))
Erin is smart.
True
1
proof
[(triple2)]
("Erin" "is" "smart" "+")
triple2
Harry is not rough.
False
1
inv-proof
[(triple3)]
("Harry" "is" "rough" "-")
triple3
Charlie is young.
True
2
proof
[(((triple1) -> rule1))]
("Charlie" "is" "young" "+")
((triple1) -> (rule1 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is not young.
False
2
inv-proof
[(((triple1) -> rule1))]
("Charlie" "is" "young" "-")
((triple1) -> (rule1 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Harry is not young.
Unknown
inv-rconc
[@1: Harry is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "young" "-")
Erin is young.
Unknown
rconc
[@1: Erin is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Erin" "is" "young" "+")
Charlie is not rough.
Unknown
inv-random
[@0: Charlie is rough.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "rough" "-")
Erin is nice.
Unknown
random
[@0: Erin is nice.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "nice" "+")
@0: Charlie is green.[(triple1)] Erin is smart.[(triple2)] Harry is rough.[(triple3)] @1: Charlie is young.[(((triple1) -> rule1))]
Charlie is green.
("Charlie" "is" "green" "+")
triple1
Erin is smart.
("Erin" "is" "smart" "+")
triple2
Harry is rough.
("Harry" "is" "rough" "+")
triple3
Charlie is young.
("Charlie" "is" "young" "+")
((triple1) -> (rule1 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1