Fiona is big. Fiona is blue. Fiona is rough. Harry is blue. Harry is cold. Harry is rough. Harry is white. If Harry is nice then Harry is young. If something is white then it is nice.
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is white.
("Harry" "is" "white" "+")
If Harry is nice then Harry is young.
((("Harry" "is" "nice" "+")) -> ("Harry" "is" "young" "+"))
If something is white then it is nice.
((("something" "is" "white" "+")) -> ("something" "is" "nice" "+"))
Fiona is rough.
True
1
proof
[(triple3)]
("Fiona" "is" "rough" "+")
triple3
Harry is not blue.
False
1
inv-proof
[(triple4)]
("Harry" "is" "blue" "-")
triple4
Harry is nice.
True
2
proof
[(((triple7) -> rule2))]
("Harry" "is" "nice" "+")
((triple7) -> (rule2 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is not nice.
False
2
inv-proof
[(((triple7) -> rule2))]
("Harry" "is" "nice" "-")
((triple7) -> (rule2 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is young.
True
3
proof
[(((((triple7) -> rule2)) -> rule1))]
("Harry" "is" "young" "+")
((((triple7) -> (rule2 % int2))) -> (rule1 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is not young.
False
3
inv-proof
[(((((triple7) -> rule2)) -> rule1))]
("Harry" "is" "young" "-")
((((triple7) -> (rule2 % int2))) -> (rule1 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Fiona is not nice.
Unknown
inv-rconc
[@1: Fiona is nice.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fiona" "is" "nice" "-")
Fiona is young.
Unknown
random
[@0: Fiona is young.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "young" "+")
Fiona is not cold.
Unknown
inv-random
[@0: Fiona is cold.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "cold" "-")
Harry is big.
Unknown
random
[@0: Harry is big.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "big" "+")
@0: Fiona is big.[(triple1)] Fiona is blue.[(triple2)] Fiona is rough.[(triple3)] Harry is blue.[(triple4)] Harry is cold.[(triple5)] Harry is rough.[(triple6)] Harry is white.[(triple7)] @1: Harry is nice.[(((triple7) -> rule2))] @2: Harry is young.[(((((triple7) -> rule2)) -> rule1))]
Fiona is big.
("Fiona" "is" "big" "+")
triple1
Fiona is blue.
("Fiona" "is" "blue" "+")
triple2
Fiona is rough.
("Fiona" "is" "rough" "+")
triple3
Harry is blue.
("Harry" "is" "blue" "+")
triple4
Harry is cold.
("Harry" "is" "cold" "+")
triple5
Harry is rough.
("Harry" "is" "rough" "+")
triple6
Harry is white.
("Harry" "is" "white" "+")
triple7
Harry is nice.
("Harry" "is" "nice" "+")
((triple7) -> (rule2 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
((((triple7) -> (rule2 % int2))) -> (rule1 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2