Dave is green. Dave is young. Fiona is blue. Fiona is cold. Fiona is green. Gary is big. Gary is young. Harry is blue. Harry is cold. Harry is green. Cold things are kind. Kind things are young. If something is young and cold then it is big.
Dave is green.
("Dave" "is" "green" "+")
Dave is young.
("Dave" "is" "young" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is young.
("Gary" "is" "young" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is green.
("Harry" "is" "green" "+")
Cold things are kind.
((("something" "is" "cold" "+")) -> ("something" "is" "kind" "+"))
Kind things are young.
((("something" "is" "kind" "+")) -> ("something" "is" "young" "+"))
If something is young and cold then it is big.
((("something" "is" "young" "+") ("something" "is" "cold" "+")) -> ("something" "is" "big" "+"))
Harry is green.
True
1
proof
[(triple10)]
("Harry" "is" "green" "+")
triple10
Dave is not green.
False
1
inv-proof
[(triple1)]
("Dave" "is" "green" "-")
triple1
Fiona is kind.
True
2
proof
[(((triple4) -> rule1))]
("Fiona" "is" "kind" "+")
((triple4) -> (rule1 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Harry is not kind.
False
2
inv-proof
[(((triple9) -> rule1))]
("Harry" "is" "kind" "-")
((triple9) -> (rule1 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is young.
True
3
proof
[(((((triple9) -> rule1)) -> rule2))]
("Harry" "is" "young" "+")
((((triple9) -> (rule1 % int2))) -> (rule2 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Fiona is not young.
False
3
inv-proof
[(((((triple4) -> rule1)) -> rule2))]
("Fiona" "is" "young" "-")
((((triple4) -> (rule1 % int2))) -> (rule2 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Harry is big.
True
5
proof
[(((((((triple9) -> rule1)) -> rule2) triple9) -> rule3))]
("Harry" "is" "big" "+")
((((((triple9) -> (rule1 % int3))) -> (rule2 % int2)) triple9) -> (rule3 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is not big.
False
5
inv-proof
[(((((((triple9) -> rule1)) -> rule2) triple9) -> rule3))]
("Harry" "is" "big" "-")
((((((triple9) -> (rule1 % int3))) -> (rule2 % int2)) triple9) -> (rule3 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Gary is not kind.
Unknown
inv-rconc
[@1: Gary is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "kind" "-")
Dave is big.
Unknown
rconc
[@1: Dave is big.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Dave" "is" "big" "+")
Dave is not kind.
Unknown
inv-rconc
[@1: Dave is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "kind" "-")
Fiona is furry.
Unknown
random
[@0: Fiona is furry.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "furry" "+")
Harry is not furry.
Unknown
inv-random
[@0: Harry is furry.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "furry" "-")
Gary is blue.
Unknown
random
[@0: Gary is blue.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "blue" "+")
Gary is not cold.
Unknown
inv-random
[@0: Gary is cold.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "cold" "-")
Dave is cold.
Unknown
random
[@0: Dave is cold.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "cold" "+")
@0: Dave is green.[(triple1)] Dave is young.[(triple2)] Fiona is blue.[(triple3)] Fiona is cold.[(triple4)] Fiona is green.[(triple5)] Gary is big.[(triple6)] Gary is young.[(triple7)] Harry is blue.[(triple8)] Harry is cold.[(triple9)] Harry is green.[(triple10)] @1: Fiona is kind.[(((triple4) -> rule1))] Harry is kind.[(((triple9) -> rule1))] @2: Fiona is young.[(((((triple4) -> rule1)) -> rule2))] Harry is young.[(((((triple9) -> rule1)) -> rule2))] @3: Fiona is big.[(((((((triple4) -> rule1)) -> rule2) triple4) -> rule3))] Harry is big.[(((((((triple9) -> rule1)) -> rule2) triple9) -> rule3))]
Dave is green.
("Dave" "is" "green" "+")
triple1
Dave is young.
("Dave" "is" "young" "+")
triple2
Fiona is blue.
("Fiona" "is" "blue" "+")
triple3
Fiona is cold.
("Fiona" "is" "cold" "+")
triple4
Fiona is green.
("Fiona" "is" "green" "+")
triple5
Gary is big.
("Gary" "is" "big" "+")
triple6
Gary is young.
("Gary" "is" "young" "+")
triple7
Harry is blue.
("Harry" "is" "blue" "+")
triple8
Harry is cold.
("Harry" "is" "cold" "+")
triple9
Harry is green.
("Harry" "is" "green" "+")
triple10
Fiona is kind.
("Fiona" "is" "kind" "+")
((triple4) -> (rule1 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
((triple9) -> (rule1 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
((((triple4) -> (rule1 % int2))) -> (rule2 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
((((triple9) -> (rule1 % int2))) -> (rule2 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
((((((triple4) -> (rule1 % int3))) -> (rule2 % int2)) triple4) -> (rule3 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
((((((triple9) -> (rule1 % int3))) -> (rule2 % int2)) triple9) -> (rule3 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3