Bob is big. Bob is cold. Bob is furry. Bob is young. Fiona is cold. Fiona is furry. Fiona is kind. Fiona is nice. Harry is big. Harry is nice. All nice, kind things are big. Young, kind things are furry.
Bob is big.
("Bob" "is" "big" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is furry.
("Bob" "is" "furry" "+")
Bob is young.
("Bob" "is" "young" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Harry is big.
("Harry" "is" "big" "+")
Harry is nice.
("Harry" "is" "nice" "+")
All nice, kind things are big.
((("something" "is" "nice" "+") ("something" "is" "kind" "+")) -> ("something" "is" "big" "+"))
Young, kind things are furry.
((("something" "is" "young" "+") ("something" "is" "kind" "+")) -> ("something" "is" "furry" "+"))
Fiona is nice.
True
1
proof
[(triple8)]
("Fiona" "is" "nice" "+")
triple8
Bob is not young.
False
1
inv-proof
[(triple4)]
("Bob" "is" "young" "-")
triple4
Fiona is big.
True
3
proof
[(((triple8 triple7) -> rule1))]
("Fiona" "is" "big" "+")
((triple8 triple7) -> (rule1 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is not big.
False
3
inv-proof
[(((triple8 triple7) -> rule1))]
("Fiona" "is" "big" "-")
((triple8 triple7) -> (rule1 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Harry is not furry.
Unknown
inv-rconc
[@1: Harry is furry.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Harry" "is" "furry" "-")
Fiona is young.
Unknown
random
[@0: Fiona is young.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "young" "+")
Fiona is not rough.
Unknown
inv-random
[@0: Fiona is rough.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "rough" "-")
Harry is rough.
Unknown
random
[@0: Harry is rough.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "rough" "+")
@0: Bob is big.[(triple1)] Bob is cold.[(triple2)] Bob is furry.[(triple3)] Bob is young.[(triple4)] Fiona is cold.[(triple5)] Fiona is furry.[(triple6)] Fiona is kind.[(triple7)] Fiona is nice.[(triple8)] Harry is big.[(triple9)] Harry is nice.[(triple10)] @1: Fiona is big.[(((triple8 triple7) -> rule1))]
Bob is big.
("Bob" "is" "big" "+")
triple1
Bob is cold.
("Bob" "is" "cold" "+")
triple2
Bob is furry.
("Bob" "is" "furry" "+")
triple3
Bob is young.
("Bob" "is" "young" "+")
triple4
Fiona is cold.
("Fiona" "is" "cold" "+")
triple5
Fiona is furry.
("Fiona" "is" "furry" "+")
triple6
Fiona is kind.
("Fiona" "is" "kind" "+")
triple7
Fiona is nice.
("Fiona" "is" "nice" "+")
triple8
Harry is big.
("Harry" "is" "big" "+")
triple9
Harry is nice.
("Harry" "is" "nice" "+")
triple10
Fiona is big.
("Fiona" "is" "big" "+")
((triple8 triple7) -> (rule1 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1