Fiona is big. Fiona is nice. Fiona is red. Fiona is rough. Fiona is round. Fiona is smart. Fiona is young. Harry is big. Harry is nice. Harry is red. Harry is round. Harry is smart. All young, round people are big.
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Harry is big.
("Harry" "is" "big" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is smart.
("Harry" "is" "smart" "+")
All young, round people are big.
((("someone" "is" "young" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "big" "+"))
Fiona is big.
True
1
proof
[(triple1 OR ((triple7 triple5) -> rule1))]
("Fiona" "is" "big" "+")
triple1
((triple7 triple5) -> (rule1 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Harry is not round.
False
1
inv-proof
[(triple11)]
("Harry" "is" "round" "-")
triple11
Harry is not rough.
Unknown
inv-random
[@0: Harry is rough.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "rough" "-")
Harry is young.
Unknown
random
[@0: Harry is young.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "young" "+")
@0: Fiona is big.[(triple1 OR ((triple7 triple5) -> rule1))] Fiona is nice.[(triple2)] Fiona is red.[(triple3)] Fiona is rough.[(triple4)] Fiona is round.[(triple5)] Fiona is smart.[(triple6)] Fiona is young.[(triple7)] Harry is big.[(triple8)] Harry is nice.[(triple9)] Harry is red.[(triple10)] Harry is round.[(triple11)] Harry is smart.[(triple12)]
Fiona is big.
("Fiona" "is" "big" "+")
triple1
((triple7 triple5) -> (rule1 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
triple2
Fiona is red.
("Fiona" "is" "red" "+")
triple3
Fiona is rough.
("Fiona" "is" "rough" "+")
triple4
Fiona is round.
("Fiona" "is" "round" "+")
triple5
Fiona is smart.
("Fiona" "is" "smart" "+")
triple6
Fiona is young.
("Fiona" "is" "young" "+")
triple7
Harry is big.
("Harry" "is" "big" "+")
triple8
Harry is nice.
("Harry" "is" "nice" "+")
triple9
Harry is red.
("Harry" "is" "red" "+")
triple10
Harry is round.
("Harry" "is" "round" "+")
triple11
Harry is smart.
("Harry" "is" "smart" "+")
triple12