Charlie is big. Fiona is rough. Gary is nice. Harry is rough. If Gary is rough then Gary is red. All rough people are young.
Charlie is big.
("Charlie" "is" "big" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Harry is rough.
("Harry" "is" "rough" "+")
If Gary is rough then Gary is red.
((("Gary" "is" "rough" "+")) -> ("Gary" "is" "red" "+"))
All rough people are young.
((("someone" "is" "rough" "+")) -> ("someone" "is" "young" "+"))
Gary is nice.
True
1
proof
[(triple3)]
("Gary" "is" "nice" "+")
triple3
Harry is not rough.
False
1
inv-proof
[(triple4)]
("Harry" "is" "rough" "-")
triple4
Fiona is young.
True
2
proof
[(((triple2) -> rule2))]
("Fiona" "is" "young" "+")
((triple2) -> (rule2 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Harry is not young.
False
2
inv-proof
[(((triple4) -> rule2))]
("Harry" "is" "young" "-")
((triple4) -> (rule2 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Charlie is not young.
Unknown
inv-rconc
[@1: Charlie is young.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Charlie" "is" "young" "-")
Gary is red.
Unknown
rconc
[@1: Gary is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "red" "+")
Fiona is not big.
Unknown
inv-random
[@0: Fiona is big.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "big" "-")
Harry is nice.
Unknown
random
[@0: Harry is nice.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "nice" "+")
@0: Charlie is big.[(triple1)] Fiona is rough.[(triple2)] Gary is nice.[(triple3)] Harry is rough.[(triple4)] @1: Fiona is young.[(((triple2) -> rule2))] Harry is young.[(((triple4) -> rule2))]
Charlie is big.
("Charlie" "is" "big" "+")
triple1
Fiona is rough.
("Fiona" "is" "rough" "+")
triple2
Gary is nice.
("Gary" "is" "nice" "+")
triple3
Harry is rough.
("Harry" "is" "rough" "+")
triple4
Fiona is young.
("Fiona" "is" "young" "+")
((triple2) -> (rule2 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
((triple4) -> (rule2 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1