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