Charlie is green. Fiona is young. Gary is blue. Harry is green. If something is green then it is rough. Rough, green things are nice.
Charlie is green.
("Charlie" "is" "green" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Harry is green.
("Harry" "is" "green" "+")
If something is green then it is rough.
((("something" "is" "green" "+")) -> ("something" "is" "rough" "+"))
Rough, green things are nice.
((("something" "is" "rough" "+") ("something" "is" "green" "+")) -> ("something" "is" "nice" "+"))
Charlie is green.
True
1
proof
[(triple1)]
("Charlie" "is" "green" "+")
triple1
Gary is not blue.
False
1
inv-proof
[(triple3)]
("Gary" "is" "blue" "-")
triple3
Harry is rough.
True
2
proof
[(((triple4) -> rule1))]
("Harry" "is" "rough" "+")
((triple4) -> (rule1 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Charlie is not rough.
False
2
inv-proof
[(((triple1) -> rule1))]
("Charlie" "is" "rough" "-")
((triple1) -> (rule1 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Harry is nice.
True
4
proof
[(((((triple4) -> rule1) triple4) -> rule2))]
("Harry" "is" "nice" "+")
((((triple4) -> (rule1 % int2)) triple4) -> (rule2 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Charlie is not nice.
False
4
inv-proof
[(((((triple1) -> rule1) triple1) -> rule2))]
("Charlie" "is" "nice" "-")
((((triple1) -> (rule1 % int2)) triple1) -> (rule2 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Gary is not rough.
Unknown
inv-rconc
[@1: Gary is rough.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "rough" "-")
Fiona is nice.
Unknown
rconc
[@1: Fiona is nice.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fiona" "is" "nice" "+")
Fiona is not rough.
Unknown
inv-rconc
[@1: Fiona is rough.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fiona" "is" "rough" "-")
Harry is blue.
Unknown
random
[@0: Harry is blue.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "blue" "+")
Fiona is not furry.
Unknown
inv-random
[@0: Fiona is furry.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "furry" "-")
Fiona is green.
Unknown
random
[@0: Fiona is green.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "green" "+")
@0: Charlie is green.[(triple1)] Fiona is young.[(triple2)] Gary is blue.[(triple3)] Harry is green.[(triple4)] @1: Charlie is rough.[(((triple1) -> rule1))] Harry is rough.[(((triple4) -> rule1))] @2: Charlie is nice.[(((((triple1) -> rule1) triple1) -> rule2))] Harry is nice.[(((((triple4) -> rule1) triple4) -> rule2))]
Charlie is green.
("Charlie" "is" "green" "+")
triple1
Fiona is young.
("Fiona" "is" "young" "+")
triple2
Gary is blue.
("Gary" "is" "blue" "+")
triple3
Harry is green.
("Harry" "is" "green" "+")
triple4
Charlie is rough.
("Charlie" "is" "rough" "+")
((triple1) -> (rule1 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
((triple4) -> (rule1 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
((((triple1) -> (rule1 % int2)) triple1) -> (rule2 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
((((triple4) -> (rule1 % int2)) triple4) -> (rule2 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2