Charlie is kind. Fiona is young. Gary is rough. Harry is blue. Rough things are young. Round things are not young. If something is big and not rough then it is kind. Blue things are kind. If Charlie is blue and Charlie is young then Charlie is big. If Charlie is round then Charlie is not furry.
Charlie is kind.
("Charlie" "is" "kind" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Rough things are young.
((("something" "is" "rough" "+")) -> ("something" "is" "young" "+"))
Round things are not young.
((("something" "is" "round" "+")) -> ("something" "is" "young" "-"))
If something is big and not rough then it is kind.
((("something" "is" "big" "+") ("something" "is" "rough" "~")) -> ("something" "is" "kind" "+"))
Blue things are kind.
((("something" "is" "blue" "+")) -> ("something" "is" "kind" "+"))
If Charlie is blue and Charlie is young then Charlie is big.
((("Charlie" "is" "blue" "+") ("Charlie" "is" "young" "+")) -> ("Charlie" "is" "big" "+"))
If Charlie is round then Charlie is not furry.
((("Charlie" "is" "round" "+")) -> ("Charlie" "is" "furry" "-"))
Fiona is young.
True
1
proof
[(triple2)]
("Fiona" "is" "young" "+")
triple2
Gary is not rough.
False
1
inv-proof
[(triple3)]
("Gary" "is" "rough" "-")
triple3
Gary is not kind.
Unknown
inv-rconc
[@1: Gary is kind.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Gary" "is" "kind" "-")
Harry is furry.
Unknown
random
[@0: Harry is furry.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "furry" "+")
@0: Charlie is kind.[(triple1)] Fiona is young.[(triple2)] Gary is rough.[(triple3)] Harry is blue.[(triple4)] @1: Gary is young.[(((triple3) -> rule1))] Harry is kind.[(((triple4) -> rule4))]
Charlie is kind.
("Charlie" "is" "kind" "+")
triple1
Fiona is young.
("Fiona" "is" "young" "+")
triple2
Gary is rough.
("Gary" "is" "rough" "+")
triple3
Harry is blue.
("Harry" "is" "blue" "+")
triple4
Gary is young.
("Gary" "is" "young" "+")
((triple3) -> (rule1 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
((triple4) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1