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