Dave is nice. Dave is young. Fiona is not green. Fiona is rough. Gary is cold. Gary is round. Harry is cold. Harry is green. Harry is kind. Harry is not nice. Harry is round. Harry is young. All nice things are not kind. If something is rough and cold then it is not round. If something is young and not kind then it is not rough. If Gary is rough then Gary is young. If Gary is nice then Gary is young. Rough things are young. If something is round then it is young. If something is rough and not green then it is cold.
Dave is nice.
("Dave" "is" "nice" "+")
Dave is young.
("Dave" "is" "young" "+")
Fiona is not green.
("Fiona" "is" "green" "-")
Fiona is rough.
("Fiona" "is" "rough" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is round.
("Gary" "is" "round" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is not nice.
("Harry" "is" "nice" "-")
Harry is round.
("Harry" "is" "round" "+")
Harry is young.
("Harry" "is" "young" "+")
All nice things are not kind.
((("something" "is" "nice" "+")) -> ("something" "is" "kind" "-"))
If something is rough and cold then it is not round.
((("something" "is" "rough" "+") ("something" "is" "cold" "+")) -> ("something" "is" "round" "-"))
If something is young and not kind then it is not rough.
((("something" "is" "young" "+") ("something" "is" "kind" "~")) -> ("something" "is" "rough" "-"))
If Gary is rough then Gary is young.
((("Gary" "is" "rough" "+")) -> ("Gary" "is" "young" "+"))
If Gary is nice then Gary is young.
((("Gary" "is" "nice" "+")) -> ("Gary" "is" "young" "+"))
Rough things are young.
((("something" "is" "rough" "+")) -> ("something" "is" "young" "+"))
If something is round then it is young.
((("something" "is" "round" "+")) -> ("something" "is" "young" "+"))
If something is rough and not green then it is cold.
((("something" "is" "rough" "+") ("something" "is" "green" "~")) -> ("something" "is" "cold" "+"))
Gary is round.
True
1
proof
[(triple6)]
("Gary" "is" "round" "+")
triple6
Gary is not round.
False
1
inv-proof
[(triple6)]
("Gary" "is" "round" "-")
triple6
Gary is young.
True
2
proof
[(((triple6) -> rule7))]
("Gary" "is" "young" "+")
((triple6) -> (rule7 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Fiona is not cold.
False
3
inv-proof
[(((triple4 triple3) -> rule8))]
("Fiona" "is" "cold" "-")
((triple4 triple3) -> (rule8 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Dave is not cold.
Unknown
inv-rconc
[@1: Dave is cold.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("Dave" "is" "cold" "-")
Gary is green.
Unknown
random
[@0: Gary is green.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "green" "+")
Dave is not green.
Unknown
inv-random
[@0: Dave is green.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "green" "-")
Dave is round.
Unknown
random
[@0: Dave is round.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "round" "+")
@0: Dave is nice.[(triple1)] Dave is young.[(triple2)] Fiona is not green.[(triple3)] Fiona is rough.[(triple4)] Gary is cold.[(triple5)] Gary is round.[(triple6)] Harry is cold.[(triple7)] Harry is green.[(triple8)] Harry is kind.[(triple9)] Harry is not nice.[(triple10)] Harry is round.[(triple11)] Harry is young.[(triple12 OR ((triple11) -> rule7))] @1: Dave is not kind.[(((triple1) -> rule1))] Fiona is cold.[(((triple4 triple3) -> rule8))] Fiona is young.[(((triple4) -> rule6))] Gary is young.[(((triple6) -> rule7))] @2: Dave is not rough.[(((triple2 ((triple1) -> rule1)) -> rule3))] Fiona is not round.[(((triple4 ((triple4 triple3) -> rule8)) -> rule2))]
Dave is nice.
("Dave" "is" "nice" "+")
triple1
Dave is young.
("Dave" "is" "young" "+")
triple2
Fiona is not green.
("Fiona" "is" "green" "-")
triple3
Fiona is rough.
("Fiona" "is" "rough" "+")
triple4
Gary is cold.
("Gary" "is" "cold" "+")
triple5
Gary is round.
("Gary" "is" "round" "+")
triple6
Harry is cold.
("Harry" "is" "cold" "+")
triple7
Harry is green.
("Harry" "is" "green" "+")
triple8
Harry is kind.
("Harry" "is" "kind" "+")
triple9
Harry is not nice.
("Harry" "is" "nice" "-")
triple10
Harry is round.
("Harry" "is" "round" "+")
triple11
Harry is young.
("Harry" "is" "young" "+")
triple12
((triple11) -> (rule7 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Dave is not kind.
("Dave" "is" "kind" "-")
((triple1) -> (rule1 % int1))
Dave is not kind.
("Dave" "is" "kind" "-")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
((triple4 triple3) -> (rule8 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
((triple4) -> (rule6 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
((triple6) -> (rule7 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Dave is not rough.
("Dave" "is" "rough" "-")
((triple2 ((triple1) -> (rule1 % int2))) -> (rule3 % int1))
Dave is not rough.
("Dave" "is" "rough" "-")
int1
Dave is not kind.
("Dave" "is" "kind" "-")
int2
Fiona is not round.
("Fiona" "is" "round" "-")
((triple4 ((triple4 triple3) -> (rule8 % int2))) -> (rule2 % int1))
Fiona is not round.
("Fiona" "is" "round" "-")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2