Dave is big. Dave is blue. Dave is cold. Dave is nice. Dave is young. Fiona is big. Fiona is cold. Gary is cold. Gary is kind. Gary is nice. Gary is young. Harry is big. Harry is cold. Harry is kind. Harry is white. Harry is young. If someone is big then they are blue. Kind, young people are nice.
Dave is big.
("Dave" "is" "big" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is young.
("Dave" "is" "young" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is young.
("Gary" "is" "young" "+")
Harry is big.
("Harry" "is" "big" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is white.
("Harry" "is" "white" "+")
Harry is young.
("Harry" "is" "young" "+")
If someone is big then they are blue.
((("someone" "is" "big" "+")) -> ("someone" "is" "blue" "+"))
Kind, young people are nice.
((("someone" "is" "kind" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "nice" "+"))
Gary is kind.
True
1
proof
[(triple9)]
("Gary" "is" "kind" "+")
triple9
Gary is not young.
False
1
inv-proof
[(triple11)]
("Gary" "is" "young" "-")
triple11
Fiona is not nice.
Unknown
inv-rconc
[@1: Fiona is nice.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fiona" "is" "nice" "-")
Dave is kind.
Unknown
random
[@0: Dave is kind.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "kind" "+")
@0: Dave is big.[(triple1)] Dave is blue.[(triple2 OR ((triple1) -> rule1))] Dave is cold.[(triple3)] Dave is nice.[(triple4)] Dave is young.[(triple5)] Fiona is big.[(triple6)] Fiona is cold.[(triple7)] Gary is cold.[(triple8)] Gary is kind.[(triple9)] Gary is nice.[(triple10 OR ((triple9 triple11) -> rule2))] Gary is young.[(triple11)] Harry is big.[(triple12)] Harry is cold.[(triple13)] Harry is kind.[(triple14)] Harry is white.[(triple15)] Harry is young.[(triple16)] @1: Fiona is blue.[(((triple6) -> rule1))] Harry is blue.[(((triple12) -> rule1))] Harry is nice.[(((triple14 triple16) -> rule2))]
Dave is big.
("Dave" "is" "big" "+")
triple1
Dave is blue.
("Dave" "is" "blue" "+")
triple2
((triple1) -> (rule1 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
triple3
Dave is nice.
("Dave" "is" "nice" "+")
triple4
Dave is young.
("Dave" "is" "young" "+")
triple5
Fiona is big.
("Fiona" "is" "big" "+")
triple6
Fiona is cold.
("Fiona" "is" "cold" "+")
triple7
Gary is cold.
("Gary" "is" "cold" "+")
triple8
Gary is kind.
("Gary" "is" "kind" "+")
triple9
Gary is nice.
("Gary" "is" "nice" "+")
triple10
((triple9 triple11) -> (rule2 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
triple11
Harry is big.
("Harry" "is" "big" "+")
triple12
Harry is cold.
("Harry" "is" "cold" "+")
triple13
Harry is kind.
("Harry" "is" "kind" "+")
triple14
Harry is white.
("Harry" "is" "white" "+")
triple15
Harry is young.
("Harry" "is" "young" "+")
triple16
Fiona is blue.
("Fiona" "is" "blue" "+")
((triple6) -> (rule1 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
((triple12) -> (rule1 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
((triple14 triple16) -> (rule2 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1