Anne is cold. Anne is nice. Anne is red. Dave is green. Dave is nice. Fiona is kind. Fiona is nice. Fiona is red. Harry is cold. Harry is green. Harry is red. Harry is young. If something is green and cold then it is young. Cold things are young.
Anne is cold.
("Anne" "is" "cold" "+")
Anne is nice.
("Anne" "is" "nice" "+")
Anne is red.
("Anne" "is" "red" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is young.
("Harry" "is" "young" "+")
If something is green and cold then it is young.
((("something" "is" "green" "+") ("something" "is" "cold" "+")) -> ("something" "is" "young" "+"))
Cold things are young.
((("something" "is" "cold" "+")) -> ("something" "is" "young" "+"))
Harry is cold.
True
1
proof
[(triple9)]
("Harry" "is" "cold" "+")
triple9
Anne is not red.
False
1
inv-proof
[(triple3)]
("Anne" "is" "red" "-")
triple3
Dave is not young.
Unknown
inv-rconc
[@1: Dave is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "young" "-")
Fiona is green.
Unknown
random
[@0: Fiona is green.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "green" "+")
@0: Anne is cold.[(triple1)] Anne is nice.[(triple2)] Anne is red.[(triple3)] Dave is green.[(triple4)] Dave is nice.[(triple5)] Fiona is kind.[(triple6)] Fiona is nice.[(triple7)] Fiona is red.[(triple8)] Harry is cold.[(triple9)] Harry is green.[(triple10)] Harry is red.[(triple11)] Harry is young.[(triple12 OR ((triple9) -> rule2) OR ((triple10 triple9) -> rule1))] @1: Anne is young.[(((triple1) -> rule2))]
Anne is cold.
("Anne" "is" "cold" "+")
triple1
Anne is nice.
("Anne" "is" "nice" "+")
triple2
Anne is red.
("Anne" "is" "red" "+")
triple3
Dave is green.
("Dave" "is" "green" "+")
triple4
Dave is nice.
("Dave" "is" "nice" "+")
triple5
Fiona is kind.
("Fiona" "is" "kind" "+")
triple6
Fiona is nice.
("Fiona" "is" "nice" "+")
triple7
Fiona is red.
("Fiona" "is" "red" "+")
triple8
Harry is cold.
("Harry" "is" "cold" "+")
triple9
Harry is green.
("Harry" "is" "green" "+")
triple10
Harry is red.
("Harry" "is" "red" "+")
triple11
Harry is young.
("Harry" "is" "young" "+")
triple12
((triple9) -> (rule2 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
((triple10 triple9) -> (rule1 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
((triple1) -> (rule2 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1