Dave is big. Erin is kind. Erin is smart. Fiona is big. Fiona is kind. Fiona is nice. Fiona is red. Harry is nice. Harry is red. Harry is smart. All quiet, red people are big. If someone is round and big then they are nice. All round people are nice. If someone is kind and round then they are big. Round, quiet people are red. All round, kind people are big.
Dave is big.
("Dave" "is" "big" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is smart.
("Harry" "is" "smart" "+")
All quiet, red people are big.
((("someone" "is" "quiet" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "big" "+"))
If someone is round and big then they are nice.
((("someone" "is" "round" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "nice" "+"))
All round people are nice.
((("someone" "is" "round" "+")) -> ("someone" "is" "nice" "+"))
If someone is kind and round then they are big.
((("someone" "is" "kind" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "big" "+"))
Round, quiet people are red.
((("someone" "is" "round" "+") ("someone" "is" "quiet" "+")) -> ("someone" "is" "red" "+"))
All round, kind people are big.
((("someone" "is" "round" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "big" "+"))
Dave is big.
True
1
proof
[(triple1)]
("Dave" "is" "big" "+")
triple1
Fiona is not nice.
False
1
inv-proof
[(triple6)]
("Fiona" "is" "nice" "-")
triple6
Dave is not nice.
Unknown
inv-rconc
[@1: Dave is nice.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Dave" "is" "nice" "-")
Erin is quiet.
Unknown
random
[@0: Erin is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "quiet" "+")
@0: Dave is big.[(triple1)] Erin is kind.[(triple2)] Erin is smart.[(triple3)] Fiona is big.[(triple4)] Fiona is kind.[(triple5)] Fiona is nice.[(triple6)] Fiona is red.[(triple7)] Harry is nice.[(triple8)] Harry is red.[(triple9)] Harry is smart.[(triple10)]
Dave is big.
("Dave" "is" "big" "+")
triple1
Erin is kind.
("Erin" "is" "kind" "+")
triple2
Erin is smart.
("Erin" "is" "smart" "+")
triple3
Fiona is big.
("Fiona" "is" "big" "+")
triple4
Fiona is kind.
("Fiona" "is" "kind" "+")
triple5
Fiona is nice.
("Fiona" "is" "nice" "+")
triple6
Fiona is red.
("Fiona" "is" "red" "+")
triple7
Harry is nice.
("Harry" "is" "nice" "+")
triple8
Harry is red.
("Harry" "is" "red" "+")
triple9
Harry is smart.
("Harry" "is" "smart" "+")
triple10