Bob is blue. Charlie is smart. Gary is quiet. Harry is rough. All furry things are young. If something is smart then it is young.
Bob is blue.
("Bob" "is" "blue" "+")
Charlie is smart.
("Charlie" "is" "smart" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Harry is rough.
("Harry" "is" "rough" "+")
All furry things are young.
((("something" "is" "furry" "+")) -> ("something" "is" "young" "+"))
If something is smart then it is young.
((("something" "is" "smart" "+")) -> ("something" "is" "young" "+"))
Harry is rough.
True
1
proof
[(triple4)]
("Harry" "is" "rough" "+")
triple4
Harry is not rough.
False
1
inv-proof
[(triple4)]
("Harry" "is" "rough" "-")
triple4
Charlie is young.
True
2
proof
[(((triple2) -> rule2))]
("Charlie" "is" "young" "+")
((triple2) -> (rule2 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is not young.
False
2
inv-proof
[(((triple2) -> rule2))]
("Charlie" "is" "young" "-")
((triple2) -> (rule2 % 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" "-")
Gary is young.
Unknown
rconc
[@1: Gary is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "young" "+")
Gary is not cold.
Unknown
inv-random
[@0: Gary is cold.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "cold" "-")
Gary is blue.
Unknown
random
[@0: Gary is blue.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "blue" "+")
@0: Bob is blue.[(triple1)] Charlie is smart.[(triple2)] Gary is quiet.[(triple3)] Harry is rough.[(triple4)] @1: Charlie is young.[(((triple2) -> rule2))]
Bob is blue.
("Bob" "is" "blue" "+")
triple1
Charlie is smart.
("Charlie" "is" "smart" "+")
triple2
Gary is quiet.
("Gary" "is" "quiet" "+")
triple3
Harry is rough.
("Harry" "is" "rough" "+")
triple4
Charlie is young.
("Charlie" "is" "young" "+")
((triple2) -> (rule2 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1